Hostname: page-component-8448b6f56d-jr42d Total loading time: 0 Render date: 2024-04-20T02:40:40.045Z Has data issue: false hasContentIssue false
  • English
  • Français

On a generalization of distributivity

Published online by Cambridge University Press:  12 March 2014

Yasuo Kanai
Yasuo Kanai*
Affiliation:
Toyota College of Technology, 2-1 Eisei-Cho, Toyota, Aichi 471, Japan
*
Hayato 12, Hirozi-cho, Shōwa-ku, Nagoya, Aichi 466, Japan
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper, we generalize the notion of distributivity and consider some properties of distributive ideals, that is, ideals I such that the algebra P(κ)/I is distributive in our sense.

Our notation and terminology is explained in §1, while the main results of this paper begin in §2. We shall show here some relations of the distributivity and the ideal theoretic partitions. In §3, we shall study the class of distributive ideals over κ whose existence is equivalent to the ineffability of κ, and other classes. Finally, in §4, we shall consider the equivalence of the Boolean prime ideal theorem and show that the existence of certain distributive ideals characterizes several large cardinals. As a byproduct, we can give a simple proof of Ketonen's theorem that κ is strongly compact if and only if for any regular cardinal λ ≥ κ there exists a nontrivial κ-complete prime ideal over λ.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 59 , Issue 3 , September 1994 , pp. 1055 - 1067
Copyright
Copyright © Association for Symbolic Logic 1994

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

[1]Abramson, F. G., Harrington, L. A., Kleinberg, L. M., and Zwicker, W. S., Flipping properties: a unifying thread in the theory of large cardinals, Annals of Mathematical Logic, vol. 12 (1977), pp. 25–58.CrossRefGoogle Scholar
[2]Baumgartner, J. E., Ineffability properties of cardinals, I, Infinite and finite sets, Colloquia Mathematica Societatis Janos Bolyai. vol. 10, North-Holland, Amsterdam, 1975, pp. 1109–1130.Google Scholar
[3]Carr, D. M., The structure of ineffability properties, Acta Mathematica Hungarica, vol. 47 (1986), pp. 325–332.CrossRefGoogle Scholar
[4]Carr, D. M., Pκλ partition relations, Fundamenta Mathematícae, vol. 128 (1987), pp. 181–195.Google Scholar
[5]Carr, D. M. and Pelletier, D. H., Towards a structure theory for ideals on Pκλ. Lecture Notes in Mathematics, vol. 1401, Springer-Verlag, Berlin, 1987, pp. 41–54.Google Scholar
[6]DiPrisco, C. A. and Zwicker, W. S., Flipping properties and supercompact cardinals, Fundamenta Mathematícae, vol. 109 (1980), pp. 31–36.Google Scholar
[7]Johnson, C. A., Distributive ideals and partition relations, this Journal, vol. 51 (1986), pp. 617–625.Google Scholar
[8]Johnson, C. A., More on distributive ideals, Fundamenta Mathematícae, vol. 128 (1987), pp. 113–130.Google Scholar
[9]Pierce, R. S., Distributivity in Boolean algebras, Pacific Journal of Mathematics, vol. 17 (1957), pp. 983–992.Google Scholar
[10]Shelah, S., Weakly compact cardinals: a combinatorial proof, this Journal, vol. 44 (1979), pp. 559–562.Google Scholar