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