Nuprl Lemma : mfol-context-model_wf
mfol-context-model() ∈ Type
Proof
Definitions occuring in Statement :
mfol-context-model: mfol-context-model(),
member: t ∈ T,
universe: Type
Lemmas :
list_wf
mfol-context-model() \mmember{} Type
Date html generated:
2015_07_17-AM-07_57_33
Last ObjectModification:
2015_01_27-AM-10_04_58
Home
Index