Nuprl Definition : term
term(opr) == {t:coterm(opr)| (coterm-size(t))↓}
Definitions occuring in Statement :
coterm-size: coterm-size(t),
coterm: coterm(opr),
has-value: (a)↓,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
coterm: coterm(opr),
has-value: (a)↓,
coterm-size: coterm-size(t)
FDL editor aliases :
term
Latex:
term(opr) == \{t:coterm(opr)| (coterm-size(t))\mdownarrow{}\}
Date html generated:
2020_05_19-PM-09_53_31
Last ObjectModification:
2020_03_09-PM-04_08_10
Theory : terms
Home
Index