Geodesic
Inheriting the anti-Specker property
Documenta mathematica, Tome 15 (2010), pp. 973-980.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Summary: The antithesis of Specker's theorem from recursive analysis is further examined from Bishop's constructive viewpoint, with particular attention to its passage to subspaces and products. Ishihara's principle BD-$\mathbf N$ comes into play in the discussion of products with the anti-Specker property.
Classification : 03F60, 54E35, 54E45
Keywords: constructive, anti-Specker property, BD 
@article{DOCMA_2010__15__a4,
     author = {Bridges, Douglas S.},
     title = {Inheriting the {anti-Specker} property},
     journal = {Documenta mathematica},
     pages = {973--980},
     publisher = {mathdoc},
     volume = {15},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DOCMA_2010__15__a4/}
}
TY  - JOUR
AU  - Bridges, Douglas S.
TI  - Inheriting the anti-Specker property
JO  - Documenta mathematica
PY  - 2010
SP  - 973
EP  - 980
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_2010__15__a4/
LA  - en
ID  - DOCMA_2010__15__a4
ER  - 
%0 Journal Article
%A Bridges, Douglas S.
%T Inheriting the anti-Specker property
%J Documenta mathematica
%D 2010
%P 973-980
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DOCMA_2010__15__a4/
%G en
%F DOCMA_2010__15__a4
Bridges, Douglas S. Inheriting the anti-Specker property. Documenta mathematica, Tome 15 (2010), pp. 973-980. http://geodesic.mathdoc.fr/item/DOCMA_2010__15__a4/