Nuprl Definition : validForm
validForm(f) == wfForm(f) ∧b SafeForm(f)
Definitions occuring in Statement :
SafeForm: SafeForm(f),
wfForm: wfForm(f),
band: p ∧b q
Definitions occuring in definition :
band: p ∧b q,
wfForm: wfForm(f),
SafeForm: SafeForm(f)
FDL editor aliases :
validForm
validForm
Latex:
validForm(f) == wfForm(f) \mwedge{}\msubb{} SafeForm(f)
Date html generated:
2018_05_21-PM-11_39_04
Last ObjectModification:
2017_10_12-PM-06_00_53
Theory : PZF
Home
Index