Abstract
We investigate the partition property of \({\mathcal{P}_{\kappa}\lambda}\). Main results of this paper are as follows: (1) If λ is the least cardinal greater than κ such that \({\mathcal{P}_{\kappa}\lambda}\) carries a (λ κ, 2)-distributive normal ideal without the partition property, then λ is \({\Pi^1_n}\)-indescribable for all n < ω but not \({\Pi^2_1}\) -indescribable. (2) If cf(λ) ≥ κ, then every ineffable subset of \({\mathcal{P}_{\kappa}\lambda}\) has the partition property. (3) If cf(λ) ≥ κ, then the completely ineffable ideal over \({\mathcal{P}_{\kappa}\lambda}\) has the partition property.
Similar content being viewed by others
References
Abe Y.: Notes on subtlety and ineffability in \({\mathcal{P}_{\kappa}\lambda}\). Arch. Math. Log. 44(5), 619–631 (2005)
Carr D.M.: The structure of ineffability properties of \({\mathcal{P}_{\kappa}\lambda}\) Acta Math. Hung. 47(3-4), 325–332 (1986)
Carr D.M., Pelletier D.H.: Towards a structure theory for ideals on \({\mathcal{P}_{\kappa}\lambda}\). Set theory and its applications (Toronto, ON, 1987), pp. 41–54. Lecture Notes in Math., vol. 1401. Springer, Berlin (1989)
Jech T.J.: Some combinatorial problems concerning uncountable cardinals. Ann. Math. Log. 5, 165–198 (1973)
Johnson C.A.: More on distributive ideals. Fund. Math. 128(2), 113–130 (1987)
Johnson C.A.: Some partition relations for ideals on \({\mathcal{P}_{\kappa}\lambda}\). Acta Math. Hung. 56(3–4), 269–282 (1990)
Kamo S.: Partition properties on \({mathcal{P}_{\kappa} \lambda}\). J. Math. Soc. Jpn. 54(1), 123–133 (2002)
Kanamori A.: The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings. Perspectives in Mathematical Logic. Springer, Berlin (1994)
Kunen K., Pelletier D.H.: On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals. J. Symb. Log. 48(2), 475–481 (1983)
Magidor M.: Combinatorial characterization of supercompact cardinals. Proc. Am. Math. Soc. 42, 279–285 (1974)
Menas T.K.: A combinatorial property of \({\mathcal{P}_{\kappa}\lambda}\). J. Symb. Log. 41(1), 225–234 (1976)
Usuba T.: Ineffability of \({\mathcal{P}_{\kappa}\lambda}\) for λ with small cofinality. J. Math. Soc. Jpn. 60(3), 935–954 (2008)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Abe, Y., Usuba, T. Notes on the partition property of \({\mathcal{P}_\kappa\lambda}\) . Arch. Math. Logic 51, 575–589 (2012). https://doi.org/10.1007/s00153-012-0283-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-012-0283-x