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: 2016_05_17-PM-00_40_42
Last ObjectModification: 2012_08_30-PM-04_31_39

Theory : event-logic-applications


Home Index