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