Saturated ideals obtained via restricted iterated collapse of huge cardinals

Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 1401)


A uniform method to define a (restricted iterated) forcing notion to collapse a huge cardinal to a small one to obtain models with various types of highly saturated ideals over small cardinals is presented. The method is discussed in great technical details in the first chapter, while in the second chapter the application of the method is shown on three different models: Model I with an ℵ1-complete ℵ2-saturated ideal over ℵ1 that satisfies Chang’s conjecture, Model II with an ℵ1-complete ℵ3-saturated ideal over ℵ3, and Model III with an ℵ1-complete (ℵ2, ℵ2, ℵ0)-saturated ideal over ℵ1.


Induction Hypothesis Generic Extension Regular Cardinal Measurable Cardinal Complete Versus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B]
    Baumgartner, J.E., Iterated forcing, Surveys in Set Theory, London Math. Soc. Lecture Note Series, 87, Cambridge University Press, 1983.Google Scholar
  2. [BT]
    Baumgartner, J.E., Taylor, A., Saturation properties of ideals in generic extensions I, II, Trans. Amer. Math. Soc. 270 (1982), no.2, 557–574, and 271 (1982), no.2, 587–609.MathSciNetCrossRefzbMATHGoogle Scholar
  3. [F1]
    Franek, F., Some results about saturated ideals and about isomorphisms of κ -trees, Ph.D. thesis, University of Toronto, 1983.Google Scholar
  4. [F2]
    Franek, F., Certain values of completeness and saturatedness of a uniform ideal rule out certain sizes of the underlying index set, Canadian Mathematical Bulletin, 28 (1985), pp. 501–505MathSciNetCrossRefzbMATHGoogle Scholar
  5. [FL]
    Forman, M., Laver, R., There is a model in which every ℵ 2 -chromatic graph of size ℵ 2 has an ℵ 1 -chromatic subgraph of size ℵ 1, a handwritten note.Google Scholar
  6. [FMS]
    Forman, M., Magidor, M., Shelah, S. Marten’s Maximum, Saturated Ideals and non-regular ultrafilters I,II, preprint, to appear.Google Scholar
  7. [J]
    Jech, T.T., Set theory, Academic Press, 1980.Google Scholar
  8. [K1]
    Kunen, K., Set theory, North-Holland, 1980.Google Scholar
  9. [K2]
    Kunen, K., Saturated ideals, J. Symbolic Logic 43 (1978), no.1, 65–76.MathSciNetCrossRefzbMATHGoogle Scholar
  10. [L]
    Laver, R., An (ℵ 2 ,ℵ 2 ,ℵ 0 )-saturated ideal on ℵ 1, Logic Colloquium 10, 173–180, North-Holland, 1982.Google Scholar
  11. [M]
    Magidor, M., On the existence of non-regular ultrafilters and the cardinality of ultrapowers, Trans. Amer. Math. Soc. 249 (1979), no.1, 97–111.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [MK]
    Magidor, M., Kanamori, A., The evolution of large cardinal axioms in set theory, Higher Set Theory, 99–275, Lecture Notes in Math., 669, Springer, Berlin, 1978.zbMATHGoogle Scholar
  13. [Mi]
    Mitchell, W.J., Hypermeasurable cardinals, Logic Colloquium ’78 (Mons, 1978), pp.303–316, Stud. Logic Foundations Math., 97, North-Holland, 1979.Google Scholar
  14. [S]
    Solovay, R.M., Real-valued measurable cardinals, Axiomatic Set Theory, (Proc. Sympos. Pure Math., Vol XIII, Part I, Univ. California, Los Angeles, California, 1967), 397–428.Google Scholar
  15. [SRK]
    Solovay, R.M., Reinhardt, W.N., Kanamori, A., Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no.1, 73–116.MathSciNetCrossRefzbMATHGoogle Scholar
  16. [U]
    Ulam, S., Zur Masstheorie in der algemainem Mengenlehre, Fund. Math. 16 (1930).Google Scholar
  17. [W]
    Woodin, H., An ℵ 1 -dense ideal on ℵ 1, handwritten notes.Google Scholar

Copyright information

© Springer-Verlag 1989

Authors and Affiliations

  1. 1.Dept. of Comp. Sci. and SystemsMcMaster UniversityHamiltonCanada

Personalised recommendations