Nuprl Definition : sq_stable
SqStable(P) == (↓P) ⇒ P
Definitions occuring in Statement :
squash: ↓T,
implies: P ⇒ Q
Definitions occuring in definition :
implies: P ⇒ Q,
squash: ↓T
FDL editor aliases :
sq_stable
Latex:
SqStable(P) == (\mdownarrow{}P) {}\mRightarrow{} P
Date html generated:
2016_05_13-PM-03_09_35
Last ObjectModification:
2016_01_04-AM-10_26_07
Theory : core_2
Home
Index