The anti-Specker property, positivity, and total boundedness

&
Mathematical Logic Quarterly 56 (4):434-441 (2010)
  Copy   BIBTEX

Abstract

Working within Bishop-style constructive mathematics, we examine some of the consequences of the anti-Specker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910017

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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, a Heine–Borel property, and uniform continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
Omniscience, sequential compactness, and the anti-Specker property.Douglas Bridges - 2011 - Logic Journal of the IGPL 19 (1):53-61.
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.
A Weak Constructive Sequential Compactness Property And The Fan Theorem.Douglas Bridges - 2005 - Logic Journal of the IGPL 13 (2):151-158.
Brouwer's fan theorem and unique existence in constructive analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.
The anti-Specker property, uniform sequential continuity, and a countable compactness property.Douglas Bridges - 2011 - Logic Journal of the IGPL 19 (1):174-182.
Specker sequences revisited.Jakob G. Simonsen - 2005 - Mathematical Logic Quarterly 51 (5):532-540.
Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
Compactness under constructive scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.

Analytics

Added to PP
2013-12-01

Downloads
31 (#129,909)

6 months
13 (#1,035,185)

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.

Add more citations

References found in this work

Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
Equivalents of the (weak) fan theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.

View all 13 references / Add more references