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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

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

The anti-Specker property, positivity, and total boundedness.Douglas Bridges & Hannes Diener - 2010 - Mathematical Logic Quarterly 56 (4):434-441.
Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
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.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.Tatsuji Kawai - 2023 - Mathematical Logic Quarterly 69 (3):370-391.
Definability and automorphisms in abstract logics.Xavier Caicedo - 2004 - Archive for Mathematical Logic 43 (8):937-945.
Unique solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5):659-678.
σ-Continuity and related forcings.Marcin Sabok - 2009 - Archive for Mathematical Logic 48 (5):449-464.

Analytics

Added to PP
2013-11-23

Downloads
49 (#497,525)

6 months
1 (#1,597,699)

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.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
On the constructive notion of closure maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
Principles weaker than BD-N.Robert S. Lubarsky & Hannes Diener - 2013 - Journal of Symbolic Logic 78 (3):873-885.

Add more citations

References found in this work

Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Over de grondslagen der wiskunde.L. E. J. Brouwer - 1907 - Amsterdam-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 12 references / Add more references