Nuprl Definition : FOStruct+
FOStruct+{i:l}(Dom) == {S:FOStruct(Dom)| exception-type(S "false" [])}
Definitions occuring in Statement :
FOStruct: FOStruct(Dom),
nil: [],
exception-type: exception-type(T),
set: {x:A| B[x]} ,
apply: f a,
token: "$token"
Definitions occuring in definition :
set: {x:A| B[x]} ,
FOStruct: FOStruct(Dom),
exception-type: exception-type(T),
apply: f a,
token: "$token",
nil: []
FDL editor aliases :
FOStruct+
Latex:
FOStruct+\{i:l\}(Dom) == \{S:FOStruct(Dom)| exception-type(S "false" [])\}
Date html generated:
2016_05_15-PM-10_12_00
Last ObjectModification:
2015_09_23-AM-08_22_40
Theory : minimal-first-order-logic
Home
Index