Nuprl Lemma : mFO-uniform-evidence_wf

[fmla:AbstractFOFormula]. (mFO-uniform-evidence{i:l}(fmla) ∈ 𝕌')


Proof




Definitions occuring in Statement :  mFO-uniform-evidence: mFO-uniform-evidence{i:l}(fmla) AbstractFOFormula: AbstractFOFormula uall: [x:A]. B[x] member: t ∈ T universe: Type
Lemmas :  FOStruct_wf all_wf FOAssignment_wf FOSatWith_wf AbstractFOFormula_wf
\mforall{}[fmla:AbstractFOFormula].  (mFO-uniform-evidence\{i:l\}(fmla)  \mmember{}  \mBbbU{}')



Date html generated: 2015_07_17-AM-07_53_13
Last ObjectModification: 2015_01_27-AM-10_07_07

Home Index