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