Bulletin of Symbolic Logic 17 (3):431-454 (2011)

Abstract
We present a list of open questions in reverse mathematics, including some relevant background information for each question. We also mention some of the areas of reverse mathematics that are starting to be developed and where interesting open question may be found
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/bsl/1309952320
Options
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: 60,750
Through your library

References found in this work BETA

[Product]¹2-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
Π12-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.

View all 38 references / Add more references

Citations of this work BETA

Computable Aspects of the Bachmann–Howard Principle.Anton Freund - 2019 - Journal of Mathematical Logic 20 (2):2050006.
Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.
Reverse Formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.

View all 21 citations / Add more citations

Similar books and articles

Reflections on Mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
On the Indecomposability of $\Omega^{N}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Proof Theory in Philosophy of Mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
Review of M. Giaquinto, The Search for Certainty. [REVIEW]Carlo Cellucci - 2003 - European Journal of Philosophy 11 (3):420-423.
Philosophy of Mathematics.Christopher Pincock - 2011 - In J. Saatsi & S. French (eds.), Companion to the Philosophy of Science. Continuum. pp. 314-333.

Analytics

Added to PP index
2011-07-07

Total views
44 ( #237,082 of 2,438,669 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,669 )

How can I increase my downloads?

Downloads

My notes