Equivalents of the (weak) fan theorem

Annals of Pure and Applied Logic 132 (1):51-66 (2005)
  Copy   BIBTEX


This article presents a weak system of intuitionistic second-order arithmetic, WKV, a subsystem of the one in S.C. Kleene, R.E. Vesley [The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions, North-Holland Publishing Company, Amsterdam, 1965]. It is then shown that some statements of real analysis, like a version of the Heine–Borel Theorem, and some statements of logic, e.g. compactness of classical proposition calculus, are equivalent to the Fan Theorem in this system



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Equivalents of a weak axiom of choice.Melven Krom - 1981 - Notre Dame Journal of Formal Logic 22 (3):283-285.
Weak Cardinality Theorems.Till Tantau - 2005 - Journal of Symbolic Logic 70 (3):861 - 878.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
Refusing the devil's bargain: What kind of underdetermination should we take seriously?P. Kyle Stanford - 2001 - Proceedings of the Philosophy of Science Association 2001 (3):S1-.
Forcing disabled.M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (4):1153-1175.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
A monotonicity theorem for dp-minimal densely ordered groups.John Goodrick - 2010 - Journal of Symbolic Logic 75 (1):221-238.
Necessary use of [image] induction in a reversal.Itay Neeman - 2011 - Journal of Symbolic Logic 76 (2):561 - 574.


Added to PP

49 (#313,430)

6 months
3 (#961,598)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Iris Loeb
VU University Amsterdam

References found in this work

Heine-borel does not imply the Fan theorem.Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (2):514-519.

Add more references