An infinitary Ramsey property
Annals of Pure and Applied Logic 57 (2):151-160 (1992)
Abstract
Mitchell, W.J., An infinitary Ramsey property, Annals of Pure and Applied Logic 57 151–160. We prove that the consistency of a measurable cardinal implies the consistency of a cardinal κ>+ satisfying the partition relations κ ω and κ ωregressive. This result follows work of Spector which uses the same hypothesis to prove the consistency of ω1 ω. We also give some examples of partition relations which can be proved for ω1 using the methods of Spector but cannot be proved for cardinals κ>+ without a much stronger hypothesisAuthor's Profile
DOI
10.1016/0168-0072(92)90024-t
My notes
Similar books and articles
Symmetries between two Ramsey properties.Lorenz Halbeisen - 1998 - Archive for Mathematical Logic 37 (4):241-260.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Supervenience and infinitary property-forming operations.Ralf M. Bader - 2012 - Philosophical Studies 160 (3):415-423.
On the Ramsey property for sets of reals.Ilias G. Kastanas - 1983 - Journal of Symbolic Logic 48 (4):1035-1045.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Making doughnuts of Cohen reals.Lorenz Halbeisen - 2003 - Mathematical Logic Quarterly 49 (2):173-178.
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.
$${\Pi^1_2}$$ -comprehension and the property of Ramsey.Christoph Heinatsch - 2009 - Archive for Mathematical Logic 48 (3-4):323-386.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Ramsey sets, the Ramsey ideal, and other classes over R.Paul Corazza - 1992 - Journal of Symbolic Logic 57 (4):1441 - 1468.
The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
Analytics
Added to PP
2014-01-16
Downloads
14 (#733,752)
6 months
1 (#454,876)
2014-01-16
Downloads
14 (#733,752)
6 months
1 (#454,876)
Historical graph of downloads
Author's Profile
References found in this work
Review: Robert M. Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529-529.