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

Voir la notice de l'article provenant de la source EMS Press

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-N comes into play in the discussion of products with the anti-Specker property.
DOI : 10.4171/dm/320
Classification : 03F60, 54E35, 54E45
Mots-clés : constructive, anti-Specker property, BD 
Douglas S. Bridges. Inheriting the anti-Specker property. Documenta mathematica, Tome 15 (2010), pp. 973-980. doi: 10.4171/dm/320
@article{10_4171_dm_320,
     author = {Douglas S. Bridges},
     title = {Inheriting the {anti-Specker} property},
     journal = {Documenta mathematica},
     pages = {973--980},
     year = {2010},
     volume = {15},
     doi = {10.4171/dm/320},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/dm/320/}
}
TY  - JOUR
AU  - Douglas S. Bridges
TI  - Inheriting the anti-Specker property
JO  - Documenta mathematica
PY  - 2010
SP  - 973
EP  - 980
VL  - 15
UR  - http://geodesic.mathdoc.fr/articles/10.4171/dm/320/
DO  - 10.4171/dm/320
ID  - 10_4171_dm_320
ER  - 
%0 Journal Article
%A Douglas S. Bridges
%T Inheriting the anti-Specker property
%J Documenta mathematica
%D 2010
%P 973-980
%V 15
%U http://geodesic.mathdoc.fr/articles/10.4171/dm/320/
%R 10.4171/dm/320
%F 10_4171_dm_320

Cité par Sources :