Ordinal analysis and the infinite ramsey theorem

&
In S. Barry Cooper (ed.), How the World Computes. pp. 1--10 (2012)
  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,532

External links

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

A recursion theoretic analysis of the clopen Ramsey theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
Stable Ramsey's Theorem and Measure.Damir D. Dzhafarov - 2011 - Notre Dame Journal of Formal Logic 52 (1):95-112.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
On the strength of Ramsey's theorem for pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
Effectiveness for infinite variable words and the Dual Ramsey Theorem.Joseph S. Miller & Reed Solomon - 2004 - Archive for Mathematical Logic 43 (4):543-555.
The PCF Trichotomy Theorem does not hold for short sequences.Menachem Kojman & Saharon Shelah - 2000 - Archive for Mathematical Logic 39 (3):213-218.
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.
Ramsey's Theorem and Cone Avoidance.Damir D. Dzhafarov & Carl G. Jockusch - 2009 - Journal of Symbolic Logic 74 (2):557-578.
Reverse mathematics and Ramsey's property for trees.Jared Corduan, Marcia J. Groszek & Joseph R. Mileti - 2010 - Journal of Symbolic Logic 75 (3):945-954.
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.

Analytics

Added to PP
2014-01-28

Downloads
28 (#564,813)

6 months
2 (#1,194,813)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

No citations found.

Add more citations

References found in this work

Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Ramsey's theorem and recursion theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.

Add more references