Hostname: page-component-586b7cd67f-dsjbd Total loading time: 0 Render date: 2024-11-25T08:11:43.537Z Has data issue: false hasContentIssue false

Weak strong partition cardinals

Published online by Cambridge University Press:  12 March 2014

J. M. Henle*
Affiliation:
Smith College, Northampton, Massachusetts 01063

Extract

In a series of papers [K2], [K3], [K4], E. M. Kleinberg established the extensive properties of what are now called “strong partition cardinals”, cardinals satisfying for all λ < κ. The purpose of this note is to show that all these consequences and the results in [H] and [W] can be obtained from the weaker relation and many from .

We assume the reader is generally familiar with Kleinberg's machinery and with the definition of . We recall that a cardinal κ satisfies iff for every partition F: [κ]κA there is a p ∈ [κ]κ such that F″ [p]κA. We take the liberty of regarding a p ∈ [κ]κ both as a subset of κ and as a function from κ to κ. We assume DC throughout.

§1. From. Our results stem from the observation that the proofs in the papers cited above only require homogeneous sets for certain classes of partitions.

Definition. A partition F: [κ]κλ, λ < λ, is called clopen if for all p ∈ [κ]κ there is an α < κ such that whenever -clopen is the assertion that all clopen partitions have homogeneous sets (Spector-Watro).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1984

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[H]Henle, J. M., Researches into the world of κ →(κ)κ, Annals of Mathematical Logic, vol. 17 (1979), pp. 151169.CrossRefGoogle Scholar
[Kl]Kleinberg, E. M., Strong partition properties for infinite cardinals, this Journal, vol. 35 (1970), pp. 410428.Google Scholar
[K2]Kleinberg, E. M., AD ⊢ the ℵn are Jonsson cardinals and ℵω is a Rowbottom cardinal, Annals of Mathematical Logic, vol. 12 (1979), pp. 229248.CrossRefGoogle Scholar
[K3]Kleinberg, E. M., Producing measurable cardinals beyond ?, this Journal, vol. 46 (1981), pp. 643648.Google Scholar
[K4]Kleinberg, E. M., A measure representation theorem for strong partition cardinals, this Journal, vol. 47 (1982), pp. 161168.Google Scholar
[K5]Kleinberg, E. M., Infinitary combinatorics and the axiom of determinacy, Lecture Notes in Mathematics, vol. 612, Springer-Verlag, Berlin, 1977.CrossRefGoogle Scholar
[W]Watro, R. J., Effects of infinite exponent partition properties on Mahlo cardinals, Ph. D. Thesis, State University of New York at Buffalo, Buffalo, New York, 1982.Google Scholar