Nuprl Definition : FOStruct
A structure over Dom,
assigns a meaning to each instance of an atomic formula.⋅
FOStruct(Dom) == Atom ─→ (Dom List) ─→ ℙ
Definitions occuring in Statement :
list: T List,
prop: ℙ,
function: x:A ─→ B[x],
atom: Atom
FDL editor aliases :
FOStruct
FOStruct(Dom) == Atom {}\mrightarrow{} (Dom List) {}\mrightarrow{} \mBbbP{}
Date html generated:
2015_07_17-AM-07_53_08
Last ObjectModification:
2012_12_07-PM-00_17_04
Home
Index