- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Reclassifying the antithesis of Specker’s theorem
Archive for Mathematical Logic 51 (7-8):687-693 (2012)
Abstract
It is shown that a principle, which can be seen as a constructivised version of sequential compactness, is equivalent to a form of Brouwer’s fan theorem. The complexity of the latter depends on the geometry of the spaces involved in the former.Other Versions
No versions found
My notes
Similar books and articles
A Weak Constructive Sequential Compactness Property And The Fan Theorem.Douglas Bridges - 2005 - Logic Journal of the IGPL 13 (2):151-158.
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.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Brouwer's fan theorem and unique existence in constructive analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.
The Fan Theorem, its strong negation, and the determinacy of games.Wim Veldman - forthcoming - Archive for Mathematical Logic:1-66.
A continuity principle equivalent to the monotone $$Pi ^{0}_{1}$$ fan theorem.Tatsuji Kawai - 2019 - Archive for Mathematical Logic 58 (3-4):443-456.
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.
Analytics
Added to PP
2013-10-27
Downloads
24 (#896,734)
6 months
9 (#451,423)
2013-10-27
Downloads
24 (#896,734)
6 months
9 (#451,423)
Historical graph of downloads
References found in this work
Varieties of constructive mathematics.Douglas Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2