Nuprl Definition : detach

T-Detach(A) ==  ∀x:T. Dec(A x)


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
Latex:
T-Detach(A)  ==    \mforall{}x:T.  Dec(A  x)


Date html generated: 2016_05_15-PM-00_00_19
Last ObjectModification: 2015_09_23-AM-06_23_35

Theory : gen_algebra_1


Home Index