Located Sets And Reverse Mathematics (1999)

Cached

Download Links

by Mariagnese Giusto , Stephen G. Simpson
Venue:Journal of Symbolic Logic
Citations:13 - 5 self

Active Bibliography

2 Vitali’s theorem and WWKL – Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson
11 The Baire category theorem in weak subsystems of second-order arithmetic – Douglas K. Brown, Stephen G. Simpson - 1993
5 Separation and weak König’s lemma – A. James Humphreys, Stephen G. Simpson - 1999
7 Separable Banach space theory needs strong set existence axioms – A. James Humphreys, Stephen G. Simpson - 1996
The Hilbert problems and Hilbert’s Program – Stephen G. Simpson - 2008
38 Partial realizations of Hilbert’s program – G. Simpson, Stephen G. Simpson - 1988
4 Lebesgue numbers and Atsuji spaces in subsystems of secondorder arithmetic – Mariagnese Giusto, Alberto Marcone - 1998
Immunity for Closed Sets ⋆ – Douglas Cenzer, Rebecca Weber, Guohua Wu
Topics in Logic and Foundations – Stephen G. Simpson - 2004
8 Partition Theorems and Computability Theory – Joseph Roy Mileti - 2004
8 The canonical Ramsey theorem and computability theory – Joseph R. Mileti
5 Nondeterminism, Fairness and a Fundamental Analogy – Edith Spaan, Leen Torenvliet, Peter Van Emde Boas
9 Ordered Groups: A Case Study In Reverse Mathematics – Reed Solomon - 1999
2 Relative Randomness via RK-Reducibility – Alexander Raichev, Wendell Berry - 2006
OPEN QUESTIONS IN REVERSE MATHEMATICS – Antonio Montalbán - 2010
Π 0 1 Classes and pseudojump operators – Douglas Cenzer, Geoffrey Laforte, Guohua Wu - 2008
Fundamental Notions of Analysis in . . . – Jeremy Avigad, Ksenija Simic - 2004
1 POSSIBLE m-DIAGRAMS OF MODELS OF ARITHMETIC – Andrew Arana
NECESSARY USE OF Σ 1 1 INDUCTION IN A REVERSAL – unknown authors