Journal of Symbolic Logic 79 (3):792-813 (2014)

Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which separates all of the as yet identified fan theorems.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2014.9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,944
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Independence Results Around Constructive ZF.Robert S. Lubarsky - 2005 - Annals of Pure and Applied Logic 132 (2-3):209-225.

Add more references

Citations of this work BETA

Constructive Mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Set Theory: Constructive and Intuitionistic Zf.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
Logics of Intuitionistic Kripke-Platek Set Theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.

Add more citations

Similar books and articles

Density of the Medvedev Lattice of Π0 1 Classes.Douglas Cenzer & Peter G. Hinman - 2003 - Archive for Mathematical Logic 42 (6):583-600.
A Note on a Theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
Partial Impredicativity in Reverse Mathematics.Henry Towsner - 2013 - Journal of Symbolic Logic 78 (2):459-488.
Reclassifying the Antithesis of Specker’s Theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Computability of Minimizers and Separating Hyperplanes.Kam-Chau Wong - 1996 - Mathematical Logic Quarterly 42 (1):564-568.
The Translation Theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.Fangwen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Principles Weaker Than BD-N.Robert S. Lubarsky & Hannes Diener - 2013 - Journal of Symbolic Logic 78 (3):873-885.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Topological Framework for Finite Injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.


Added to PP index

Total views
3 ( #1,352,308 of 2,498,159 )

Recent downloads (6 months)
1 ( #427,476 of 2,498,159 )

How can I increase my downloads?


My notes