Nuprl Definition : dbar
dbar(T;X) == Decidable(X) ∧ tbar(T;X)
Definitions occuring in Statement :
tbar: tbar(T;X),
dec-predicate: Decidable(X),
list: T List,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
dec-predicate: Decidable(X),
list: T List,
tbar: tbar(T;X)
FDL editor aliases :
dbar
Latex:
dbar(T;X) == Decidable(X) \mwedge{} tbar(T;X)
Date html generated:
2016_05_14-PM-04_09_18
Last ObjectModification:
2015_09_22-PM-06_02_16
Theory : fan-theorem
Home
Index