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: 91,322

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.
Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
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.
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.
Specker sequences revisited.Jakob G. Simonsen - 2005 - Mathematical Logic Quarterly 51 (5):532-540.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Property rights in blood, genes and data: naturally yours?Jasper A. Bovenberg - 2006 - Boston: Martinus Nijhoff Publishers.
Some weak fragments of Martin’s axiom related to the rectangle refining property.Teruyuki Yorioka - 2008 - Archive for Mathematical Logic 47 (1):79-90.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
When you can keep it and give it away: The ethics of intellectual property.Steve Petersen - manuscript
Of Private, Common, and Public Property and the Rationale for Total Privatization.Hans-Hermann Hoppe - 2011 - Libertarian Papers 3:1.
Property and Justice.J. W. Harris - 2002 - Oxford University Press.
On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals.Kenneth Kunen & Donald H. Pelletier - 1983 - Journal of Symbolic Logic 48 (2):475-481.

Analytics

Added to PP
2013-12-01

Downloads
24 (#637,523)

6 months
8 (#352,434)

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.
Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
Equivalents of the (weak) fan theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.

View all 13 references / Add more references