Cardinal Arithmetic

  • Uri AbrahamEmail author
  • Menachem Magidor


Following the work of Gödel and Cohen we now know that it is impossible to determine the exact value of the continuum or of the power set of an arbitrary cardinal. Despite the limitations that the consistency methods impose, the quest for absolute answers as to the value of the power set (especially of singular cardinals) continues, and sometimes with surprising and unexpected directions. The pcf theory developed by Shelah and considerably extending previous work of Silver and Galvin and Hajnal and others is an important avenue in investigating set-theoretical and combinatorial questions about the power-set of singular cardinals. The aim of our chapter is to give a self-contained development of this theory and related results as well as some of its interesting applications. For example the celebrated theorem of Shelah that gives an absolute estimate on the number of countable subsets of ω (the first singular cardinal). The question whether this limitation can be improved is considered to be one of the main open problems in set theory.


Regular Cardinal Proper Ideal Elementary Substructure Singular Cardinal Universal Sequence 
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. [1]
    James E. Baumgartner and Karel L. Prikry. Singular cardinals and the Generalized Continuum Hypothesis. American Mathematical Monthly, 84:108–113, 1977. zbMATHCrossRefMathSciNetGoogle Scholar
  2. [2]
    Maxim R. Burke and Menachem Magidor. Shelah’s pcf theory and its applications. Annals of Pure and Applied Logic, 50(3):207–254, 1990. zbMATHCrossRefMathSciNetGoogle Scholar
  3. [3]
    Rysmard Engelking and Monica Karlowicz. Some theorems of set theory and their topological consequences. Fundamenta Mathematicae, 57:275–285, 1965. zbMATHMathSciNetGoogle Scholar
  4. [4]
    John Gregory. Higher Souslin trees and the Generalized Continuum Hypothesis. The Journal of Symbolic Logic, 41(3):663–671, 1976. zbMATHCrossRefMathSciNetGoogle Scholar
  5. [5]
    András Hajnal, István Juhász, and Zoltán Szentmiklóssy. On CCC Boolean algebras and partial orders. Commentationes Mathematicae Universitatis Carolinae, 38(3):537–544, 1997. zbMATHMathSciNetGoogle Scholar
  6. [6]
    Michael Holz, Karsten Steffens, and Edmund Weitz. Introduction to Cardinal Arithmetic. Birkhäuser, Boston, 1999. zbMATHGoogle Scholar
  7. [7]
    Thomas J. Jech. Singular cardinals and the pcf theory. The Bulletin of Symbolic Logic, 1:408–424, 1995. zbMATHCrossRefMathSciNetGoogle Scholar
  8. [8]
    Thomas J. Jech. Set Theory. Springer, Berlin, 2002. Third millennium edition. Google Scholar
  9. [9]
    Akihiro Kanamori. The Higher Infinite. Springer Monographs in Mathematics Springer, Berlin, 2003. Corrected second edition. zbMATHGoogle Scholar
  10. [10]
    Menachem Kojman. Exact upper bounds and their uses in set theory. Annals of Pure and Applied Logic, 92:267–282, 1998. zbMATHCrossRefMathSciNetGoogle Scholar
  11. [11]
    Kuneh Kunen. Set Theory, an Introduction to Independence Proofs. North-Holland, Amsterdam, 1988. Google Scholar
  12. [12]
    Azriel Levy. Basic Set Theory. Dover, New York, 2002. Revised edition. zbMATHGoogle Scholar
  13. [13]
    S. Shelah. Diamonds. November 2007; Shelah’s list: 922. Google Scholar
  14. [14]
    S. Shelah. More on the revised GCH and middle diamond. Shelah’s list: 829. Google Scholar
  15. [15]
    Saharon Shelah. Cardinal Arithmetic. Oxford University Press, Oxford, 1994. zbMATHGoogle Scholar
  16. [16]
    Saharon Shelah. Cellularity of free products of Boolean algebras (or topologies). Fundamenta Mathematicae, 166:153–208, 2000. zbMATHMathSciNetGoogle Scholar
  17. [17]
    Saharon Shelah. The Generalized Continuum Hypothesis revisited. Israel Journal of Mathematics, 116:285–321, 2000. zbMATHCrossRefMathSciNetGoogle Scholar
  18. [18]
    Jack Silver. On the singular cardinals problem. In Proceedings of the International Congress of Mathematicians (Vancouver, BC, 1974), Vol. 1, pages 265–268. Canadian Mathematical Congress, Montreal, 1975. Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of MathematicsBen Gurion University of the NegevBeer ShevaIsrael
  2. 2.Institute of MathematicsHebrew UniversityJerusalemIsrael

Personalised recommendations