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