Reverse Mathematics 2001

Bulletin of Symbolic Logic 13 (1):106-109 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Similar books and articles

Free sets and reverse mathematics.Carl G. Jockusch Jr - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 104.
Undecidable theories and reverse mathematics.James H. Schmerl - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--349.
Reverse Mathematics 2001.Stephen Simpson (ed.) - 2005 - Association for Symbolic Logic.
N? Sets and models of wkl0.Stephen G. Simpson - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--352.
The Dirac delta function in two settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
SG Simpson (editor), Reverse Mathematics 2001.Ulrich Berger - 2007 - Bulletin of Symbolic Logic 13 (1):106-109.
Strict reverse mathematics draft.Harvey M. Friedman - unknown
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Did Cantor need set theory?A. James Humphreyst - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--244.
Reverse-engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.
Reverse Mathematics 2001. [REVIEW]Ulrich Berger - 2007 - Bulletin of Symbolic Logic 13 (1):106-109.
Reverse Mathematics and Grundy colorings of graphs.James H. Schmerl - 2010 - Mathematical Logic Quarterly 56 (5):541-548.
Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
The baire category theorem over a feasible base.Ant6nio M. Fernandes - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--164.

Analytics

Added to PP
2013-10-29

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?

Author's Profile

Citations of this work

A survey of Mučnik and Medvedev degrees.Peter G. Hinman - 2012 - Bulletin of Symbolic Logic 18 (2):161-229.
Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.

Add more citations

References found in this work

No references found.

Add more references