Nuprl Lemma : decidable__alle-causl
es:EO. [P:E 
]. j:E. ((e:E. ((e < j) 
Dec(P[e]))) Dec(k:E. ((k < j) P[k])))
Proof not projected
Error : references
\mforall{}es:EO. \mforall{}[P:E {}\mrightarrow{} \mBbbP{}]. \mforall{}j:E. ((\mforall{}e:E. ((e < j) {}\mRightarrow{} Dec(P[e]))) {}\mRightarrow{} Dec(\mforall{}k:E. ((k < j) {}\mRightarrow{} P[k])))
Date html generated:
2012_02_20-PM-07_50_44
Last ObjectModification:
2010_11_08-PM-02_53_37
Home
Index