Strict reverse mathematics draft

Abstract

NOTE: This is an expanded version of my lecture at the special session on reverse mathematics, delivered at the Special Session on Reverse Mathematics held at the Atlanta AMS meeting, on January 6, 2005.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientiae:43-59.
Undecidable theories and reverse mathematics.James H. Schmerl - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--349.
Free sets and reverse mathematics.Carl G. Jockusch Jr - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 104.
The modal logic of Reverse Mathematics.Carl Mummert, Alaeddine Saadaoui & Sean Sovine - 2015 - Archive for Mathematical Logic 54 (3-4):425-437.
Reverse Mathematics and Grundy colorings of graphs.James H. Schmerl - 2010 - Mathematical Logic Quarterly 56 (5):541-548.
Review of Denis R. Hirschfeldt, Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles. [REVIEW]Benedict Eastaugh - 2017 - Studia Logica 105 (4):873-879.
Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
Reverse-engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.
Categories and functors in reverse and computable mathematics.Huishan Wu - forthcoming - Archive for Mathematical Logic:1-31.
Reverse mathematics: proofs from the inside out.John Stillwell - 2018 - Princeton: Princeton University Press.

Analytics

Added to PP
2010-12-22

Downloads
139 (#160,261)

6 months
139 (#35,138)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references