Nuprl Definition : ses-basic-sequence1
Basic1 == Id ─→ Id ─→ es:EO+(Info) ─→ Thread ─→ ℙ
Definitions occuring in Statement :
ses-thread: Thread,
ses-info: Info,
event-ordering+: EO+(Info),
Id: Id,
prop: ℙ,
function: x:A ─→ B[x]
FDL editor aliases :
ses-basic-sequence1
Latex:
Basic1 == Id {}\mrightarrow{} Id {}\mrightarrow{} es:EO+(Info) {}\mrightarrow{} Thread {}\mrightarrow{} \mBbbP{}
Date html generated:
2015_07_23-PM-00_15_26
Last ObjectModification:
2012_08_30-PM-04_31_39
Home
Index