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
Definitions occuring in definition :
atom: Atom,
function: x:A ⟶ B[x],
list: T List,
prop: ℙ
FDL editor aliases :
FOStruct
Latex:
FOStruct(Dom) == Atom {}\mrightarrow{} (Dom List) {}\mrightarrow{} \mBbbP{}
Date html generated:
2016_07_08-PM-05_19_17
Last ObjectModification:
2015_09_23-AM-08_22_40
Theory : minimal-first-order-logic
Home
Index