Nuprl Definition : AbstractFOFormula+
AbstractFOFormula+(vs) == Dom:Type ⟶ S:FOStruct+{i:l}(Dom) ⟶ FOAssignment(vs,Dom) ⟶ ℙ
Definitions occuring in Statement :
FOStruct+: FOStruct+{i:l}(Dom),
FOAssignment: FOAssignment(vs,Dom),
prop: ℙ,
function: x:A ⟶ B[x],
universe: Type
Definitions occuring in definition :
universe: Type,
FOStruct+: FOStruct+{i:l}(Dom),
function: x:A ⟶ B[x],
FOAssignment: FOAssignment(vs,Dom),
prop: ℙ
FDL editor aliases :
AbstractFOFormula+
Latex:
AbstractFOFormula+(vs) == Dom:Type {}\mrightarrow{} S:FOStruct+\{i:l\}(Dom) {}\mrightarrow{} FOAssignment(vs,Dom) {}\mrightarrow{} \mBbbP{}
Date html generated:
2016_05_15-PM-10_12_09
Last ObjectModification:
2015_09_23-AM-08_22_42
Theory : minimal-first-order-logic
Home
Index