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