Nuprl Definition : PZF-Term
PZF-Term(C) == {f:PZF-Form(C)| ↑termForm(f)}
Definitions occuring in Statement :
PZF-Form: PZF-Form(C)
,
termForm: termForm(f)
,
assert: ↑b
,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]}
,
PZF-Form: PZF-Form(C)
,
assert: ↑b
,
termForm: termForm(f)
FDL editor aliases :
PZF-Term
PZF-Term
Latex:
PZF-Term(C) == \{f:PZF-Form(C)| \muparrow{}termForm(f)\}
Date html generated:
2018_05_21-PM-11_36_51
Last ObjectModification:
2017_10_12-PM-02_57_00
Theory : PZF
Home
Index