Graduate studies at Western
Journal of Symbolic Logic 49 (2):376-400 (1984)
|Abstract||Solovay has shown that if F: [ω] ω → 2 is a clopen partition with recursive code, then there is an infinite homogeneous hyperarithmetic set for the partition (a basis result). Simpson has shown that for every 0 α , where α is a recursive ordinal, there is a clopen partition F: [ω] ω → 2 such that every infinite homogeneous set is Turing above 0 α (an anti-basis result). Here we refine these results, by associating the "order type" of a clopen set with the Turing complexity of the infinite homogeneous sets. We also consider the Nash-Williams barrier theorem and its relation to the clopen Ramsey theorem|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Rod Downey, Denis R. Hirschfeldt, Steffen Lempp & Reed Solomon (2001). A Δ02 Set with No Infinite Low Subset in Either It or its Complement. Journal of Symbolic Logic 66 (3):1371 - 1381.
Joram Hirshfeld (1988). Nonstandard Combinatorics. Studia Logica 47 (3):221 - 232.
Till Tantau (2005). Weak Cardinality Theorems. Journal of Symbolic Logic 70 (3):861 - 878.
Kurt Wolfsdorf (1983). A Baire-Type Theorem for Cardinals. Journal of Symbolic Logic 48 (4):1082-1089.
Jeremy Avigad (1998). An Effective Proof That Open Sets Are Ramsey. Archive for Mathematical Logic 37 (4):235-240.
Damir D. Dzhafarov (2010). Stable Ramsey's Theorem and Measure. Notre Dame Journal of Formal Logic 52 (1):95-112.
Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman (2001). On the Strength of Ramsey's Theorem for Pairs. Journal of Symbolic Logic 66 (1):1-55.
Ilias G. Kastanas (1983). On the Ramsey Property for Sets of Reals. Journal of Symbolic Logic 48 (4):1035-1045.
Tamara Lakins Hummel (1994). Effective Versions of Ramsey's Theorem: Avoiding the Cone Above 0'. Journal of Symbolic Logic 59 (4):1301-1325.
Peter Clote (1986). A Generalization of the Limit Lemma and Clopen Games. Journal of Symbolic Logic 51 (2):273-291.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?