- 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
About Brouwer's fan theorem
Revue Internationale de Philosophie 230:483-489 (2004)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
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.
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.Josef Berger, Hajime Ishihara & Peter Schuster - 2012 - Reports on Mathematical Logic:63-86.
Brouwer’s Fan theorem and convexity.Josef Berger & Gregor Svindland - 2018 - Journal of Symbolic Logic 83 (4):1363-1375.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Thierry Simonelli, Lacan. La Theorie. Essai de critique interieure.Angèle Kremer Marietti - forthcoming - Revue Internationale de Philosophie.
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Brouwer's fan theorem and unique existence in constructive analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.
Brouwer and the hypothetical judgement. Second thoughts on John Kuiper's Ideas and Explorations: Brouwer's Road to Intuitionism.Mark van Atten - 2004 - Revue Internationale de Philosophie 58 (4):501-516.
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 as an axiom and as a contrast to Kleene’s alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5):621-693.
Analytics
Added to PP
2014-01-17
Downloads
0
6 months
0
2014-01-17
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
An intuitionistic version of Ramsey's Theorem and its use in Program Termination.Stefano Berardi & Silvia Steila - 2015 - Annals of Pure and Applied Logic 166 (12):1382-1406.
Generality and existence: Quantificational logic in historical perspective.Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (4):417-448.
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-6686886f5-kkm7k uwo