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