The anti-Specker property, a Heine–Borel property, and uniform continuity

&
Archive for Mathematical Logic 46 (7-8):583-592 (2008)
  Copy   BIBTEX

Abstract

Working within Bishop’s constructive framework, we examine the connection between a weak version of the Heine–Borel property, a property antithetical to that in Specker’s theorem in recursive analysis, and the uniform continuity theorem for integer-valued functions. The paper is a contribution to the ongoing programme of constructive reverse mathematics

Categories

Keywords

Reprint years

DOI

10.1007/s00153-007-0063-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
The anti-Specker property, positivity, and total boundedness.Douglas Bridges & Hannes Diener - 2010 - Mathematical Logic Quarterly 56 (4):434-441.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Strong continuity implies uniform sequential continuity.Douglas Bridges, Hajime Ishihara, Peter Schuster & Luminiţa Vîţa - 2005 - Archive for Mathematical Logic 44 (7):887-895.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
On the failure of BD-ࡃ and BD, and an application to the anti-Specker property.Robert S. Lubarsky - 2013 - Journal of Symbolic Logic 78 (1):39-56.
Definability and automorphisms in abstract logics.Xavier Caicedo - 2004 - Archive for Mathematical Logic 43 (8):937-945.
Extending Baire property by uncountably many sets.Paweł Kawa & Janusz Pawlikowski - 2010 - Journal of Symbolic Logic 75 (3):896-904.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Grasping phenomenal properties.Martine Nida-Rümelin - 2006 - In Torin Andrew Alter & Sven Walter (eds.), Phenomenal Concepts and Phenomenal Knowledge: New Essays on Consciousness and Physicalism. Oxford University Press.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Covering properties of ideals.Marek Balcerzak, Barnabás Farkas & Szymon Gła̧b - 2013 - Archive for Mathematical Logic 52 (3-4):279-294.
Natural Topology.Frank Waaldijk - 2012 - Brouwer Society.
Property and Justice.J. W. Harris - 2002 - Oxford University Press.

Analytics

Added to PP
2013-11-23

Downloads
27 (#554,860)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Principles weaker than BD-N.Robert S. Lubarsky & Hannes Diener - 2013 - Journal of Symbolic Logic 78 (3):873-885.
On the constructive notion of closure maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Over de grondslagen der wiskunde..L. E. J. Brouwer - 1907 - Leipzig,: Maas & van Suchtelen.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.

View all 13 references / Add more references