Nuprl Definition : weak-xmiddle
WeakXM ==  ∀P:ℙ. (↓Dec(P))
Definitions occuring in Statement : 
decidable: Dec(P)
, 
prop: ℙ
, 
all: ∀x:A. B[x]
, 
squash: ↓T
Definitions occuring in definition : 
all: ∀x:A. B[x]
, 
prop: ℙ
, 
squash: ↓T
, 
decidable: Dec(P)
FDL editor aliases : 
weak-xmiddle
Latex:
WeakXM  ==    \mforall{}P:\mBbbP{}.  (\mdownarrow{}Dec(P))
Date html generated:
2016_05_13-PM-03_10_17
Last ObjectModification:
2016_01_04-AM-10_26_12
Theory : core_2
Home
Index