Nuprl Definition : dec-predicate

Decidable(X) ==  ∀t:T. Dec(X t)


Definitions occuring in Statement :  decidable: Dec(P),  all: ∀x:A. B[x],  apply: f a
Definitions occuring in definition :  all: ∀x:A. B[x],  decidable: Dec(P),  apply: f a
FDL editor aliases :  dec-predicate
Latex:
Decidable(X)  ==    \mforall{}t:T.  Dec(X  t)


Date html generated: 2016_05_14-PM-04_08_47
Last ObjectModification: 2015_09_22-PM-06_02_11

Theory : fan-theorem


Home Index