Nuprl Definition : event_system_typename
event_system_typename() ==  ℕ6
Definitions occuring in Statement : 
int_seg: {i..j-}
, 
natural_number: $n
FDL editor aliases : 
event_system_typename
event_system_typename
Latex:
event\_system\_typename()  ==    \mBbbN{}6
Date html generated:
2016_05_16-AM-09_18_54
Last ObjectModification:
2013_03_25-PM-01_46_00
Theory : new!event-ordering
Home
Index