Reverse Mathematics: The Playground of Logic

Reverse Mathematics: The Playground of Logic (2010)

Cached

Download Links

by Richard A. Shore

BibTeX

@MISC{Shore10reversemathematics:,
    author = {Richard A. Shore},
    title = {Reverse Mathematics: The Playground of Logic},
    year = {2010}
}

Bookmark

OpenURL

Abstract

The general enterprise of calibrating the strength of classical mathematical theorems in terms of the axioms (typically of set existence) needed to prove them was begun by Harvey Friedman in [1971] (see also [1967]). His goals were both philosophical and foundational. What existence assumptions are really needed to develop classical mathematics

Citations

30	The metamathematics of the graph minor theorem - Friedman, Robertson, et al. - 1987
26	On Ramsey’s Theorem for pairs - Cholak, Jockusch, et al.
25	Higher set theory and mathematical practice - Friedman - 1971
14	Combinatorial principles weaker than Ramsey’s theorem for pairs - Hirschfeldt, Shore
13	On the strengthof K"onig's duality theorem for infinite bipartite graphs - Aharoni, Magidor, et al. - 1992
10	Contribution à l’étude des types d’ordre dispersés - Jullien
8	2001], A ∆ 0 2 set with no infinite low subset in either it or its complement - Downey, Hirschfeldt, et al.
4	Techniques of Admissible Recursion Theory - Chong - 1984
4	General Recursion Theory: An Axiomatic Approach - Fenstad - 1980
3	Reverse Mathematics and Well-Ordering Principles: A Pilot Study - Afshari, Rathjen
3	The atomic model theorem - Hirschfeldt, Shore, et al. - 2009
3	1972], Π 0 1 classes and degrees of theories - Jockusch, Soare
3	2008], Weak determinacy and iterations of inductive definitions - MedSalem, Tanaka
2	2010], On the role of the Collection Principle for Σ 0 2-formulas in second-order reverse mathematics - Chong, Lempp, et al.
2	Higher order reverse mathematics in Reverse mathematics 2001 - Kohlenbach - 2005
2	2009], On Fraïssé’s conjecture for linear orders of finite Hausdorff rank, Annals of Pure and Applied Logic 160 - Marcone, Montalbán
2	1974], Analysis ⊢ ∆ 0 4-determinacy, circulated handwritten notes dated April 24 - Martin - 1974
2	1974a], Σ 0 4-determinacy, circulated handwritten notes dated - Martin - 1974
2	n.d.] Determinacy, circulated drafts, about 578 - Martin
1	The polarized Ramsey theorem, Archive for Mathematical Logic 48 - Dzhafarov, Hirst
1	Erik [1980], General Recursion Theory: An Axiomatic Approach - Fenstad
1	The Homogeneous Model Theorem, in preparation - Hirschfeldt, Lange, et al. - 2012
1	Contribution à l’ Étude des Types d’Ordre Dispersés - Jullien
1	Nonstandard Arithmetic and Reverse - Keisler
1	Nonstandard Arithmetic and Recursive Comprehension, Annals of Pure and Applied Logic - Keisler
1	Σn collection schemes in arithmetic, in Logic Colloquium ’77 - Kirby, Paris
1	On suborderings of the α-recursively enumerable α-degrees, Annals of Mathematical Logic 4 - Lerman - 1986
1	2011], The Veblen functions for computability theorists - Marcone, Montalbán
1	On the strength of Ramsey’s theorem for pairs, in preparation - Chong, Slaman, et al. - 2011