Reverse Mathematics 2001

(ed.)
Association for Symbolic Logic (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

1568812639

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

My notes

Chapters

Possible m-diagrams of models of arithmetic.Andrew Arana
Did Cantor need set theory?  (pages 21--244)A. James Humphreyst
N? Sets and models of wkl0.  (pages 21--352)Stephen G. Simpson
The baire category theorem over a feasible base.  (pages 21--164)Ant6nio M. Fernandes
Undecidable theories and reverse mathematics.  (pages 21--349)James H. Schmerl
Free sets and reverse mathematics.  (pages 104)Carl G. Jockusch Jr

Similar books and articles

Reverse Mathematics 2001.Stephen G. Simpson - 2007 - Bulletin of Symbolic Logic 13 (1):106-109.
Reverse Mathematics 2001. [REVIEW]Ulrich Berger - 2007 - Bulletin of Symbolic Logic 13 (1):106-109.
SG Simpson (editor), Reverse Mathematics 2001.Ulrich Berger - 2007 - Bulletin of Symbolic Logic 13 (1):106-109.
Free sets and reverse mathematics.Carl G. Jockusch Jr - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 104.
Undecidable theories and reverse mathematics.James H. Schmerl - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--349.
N? Sets and models of wkl0.Stephen G. Simpson - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--352.
Did Cantor need set theory?A. James Humphreyst - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--244.
The baire category theorem over a feasible base.Ant6nio M. Fernandes - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--164.
Possible m-diagrams of models of arithmetic.Andrew Arana - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic.
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.

Analytics

Added to PP
2010-06-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

A survey of Mučnik and Medvedev degrees.Peter G. Hinman - 2012 - Bulletin of Symbolic Logic 18 (2):161-229.

Add more citations

References found in this work

No references found.

Add more references