Nuprl Definition : wfterm
wfterm(opr;sort;arity) == {t:term(opr)| ↑wf-term(arity;sort;t)}
Definitions occuring in Statement :
wf-term: wf-term(arity;sort;t),
term: term(opr),
assert: ↑b,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
term: term(opr),
assert: ↑b,
wf-term: wf-term(arity;sort;t)
FDL editor aliases :
wfterm
Latex:
wfterm(opr;sort;arity) == \{t:term(opr)| \muparrow{}wf-term(arity;sort;t)\}
Date html generated:
2020_05_19-PM-09_58_21
Last ObjectModification:
2020_03_09-PM-04_10_16
Theory : terms
Home
Index