Nuprl Definition : es-fset-loc

i ∈ locs(s) ==  ¬↑null(s@i)


Definitions occuring in Statement :  es-fset-at: s@i,  null: null(as),  assert: ↑b,  not: ¬A
FDL editor aliases :  es-fset-loc es-fset-loc
Latex:
i  \mmember{}  locs(s)  ==    \mneg{}\muparrow{}null(s@i)


Date html generated: 2016_05_16-AM-10_13_51
Last ObjectModification: 2013_03_25-PM-01_55_20

Theory : new!event-ordering


Home Index