Nuprl Definition : same-thread

same-thread(es;p;e;e') == final-iterate(p;e) = final-iterate(p;e') ∈ E

Definitions occuring in Statement : es-E: E, equal: s = t ∈ T, final-iterate: final-iterate(f;x)
FDL editor aliases : same-thread same-thread

Latex:
same-thread(es;p;e;e') == final-iterate(p;e) = final-iterate(p;e') Date html generated: 2016_05_16-AM-10_32_09 Last ObjectModification: 2013_03_25-PM-01_58_43 Theory : new!event-ordering Home Index