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