Nuprl Definition : AbstractFOAtomic+
AbstractFOAtomic+(n;L) == λDom,S,a. ((S n map(a;L)) ⋃ (S "false" []))
Definitions occuring in Statement :
map: map(f;as),
nil: [],
b-union: A ⋃ B,
apply: f a,
lambda: λx.A[x],
token: "$token"
Definitions occuring in definition :
lambda: λx.A[x],
b-union: A ⋃ B,
map: map(f;as),
apply: f a,
token: "$token",
nil: []
FDL editor aliases :
AbstractFOAtomic+
Latex:
AbstractFOAtomic+(n;L) == \mlambda{}Dom,S,a. ((S n map(a;L)) \mcup{} (S "false" []))
Date html generated:
2016_05_15-PM-10_12_27
Last ObjectModification:
2015_09_23-AM-08_22_45
Theory : minimal-first-order-logic
Home
Index