Abstract
We study the first cardinalκ satisfying a partition relation defined on the set of finite sequences of smaller ordinals. We show that the fact that this cardinal is ℵω is equiconsistent with the existence of a measurable cardinal. Under GCH, this cardinal must be inaccessible if it has uncountable cofinality. It is shown that the GCH assumption is necessary here.
Similar content being viewed by others
References
W. A. Carnielli, and C. A. Di Prisco,Some results on polarized partition relations, Mathematical Logic Quarterly39 (1993), 461–474.
M. Carrasco, C. A. Di Prisco and A. Millán,Partitions of the set of finite sequences, Journal of Combinatorial Theory, Series A71 (1995), 255–274.
K. J. Devlin and J. B. Paris,More on the free subset problem, Annals of Mathematical Logic5 (1973), 327–336.
P. Erdős, F. Galvin and A. Hajnal,On set systems having large chromatic numbers and not containing prescribed subsystems, in: Colloquia Mathematica Societatis János Bolyai, Vol. 10,Infinite and Finite Sets (A. Hajnal and V. T. Sos, eds.), Keszthely (Hungary), 1973, pp. 425–513.
P. Koepke,The consistency strength of the free-subset property for ω ω , The Journal of Symbolic Logic49 (1984), 1198–1204.
S. Shelah,Independence of strong partition relation for small cardinals, and the free subset problem, The Journal of Symbolic Logic45 (1980), 505–509.
J. Silver,A large cardinal in the constructible universe, Fundamenta Mathematicae69 (1970), 93–100.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Di Prisco, C.G., Todorcevic, S. A cardinal defined by a polarized partition relation. Isr. J. Math. 109, 41–52 (1999). https://doi.org/10.1007/BF02775025
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02775025