The generalized continuum hypothesis revisited

We can reformulate the generalized continuum problem as: for regular κ<λ we have λ to the power κ is λ, We argue that the reasonable reformulation of the generalized continuum hypothesis, considering the known independence results, is “for most pairs κ<λ of regular cardinals, λ to the revised power of κ is equal to λ”. What is the revised power? λ to the revised power of κ is the minimal cardinality of a family of subsets of λ each of cardinality κ such that any other subset of λ of cardinality κ is included in the union of strictly less than κ members of the family. We still have to say what “for most” means. The interpretation we choose is: for every λ, for every large enoughK < ℶw. Under this reinterpretation, we prove the Generalized Continuum Hypothesis.

[1]  S. Shelah Advances in Cardinal Arithmetic , 2007, 0708.1979.

[2]  Saharon Shelah More on cardinal arithmetic , 1993, Arch. Math. Log..

[3]  Saharon Shelah Further cardinal arithmetic , 1996 .

[4]  Matthew Foreman,et al.  The generalized continuum hypothesis can fail everywhere , 1991 .

[5]  Saharon Shelah,et al.  Models with Second Order Properties V: A General Principle , 1993, Ann. Pure Appl. Log..

[6]  F. Browder Mathematical developments arising from Hilbert problems , 1976 .

[7]  Saharon Shelah Models with second order properties. III. Omitting types forL(Q) , 1981, Arch. Math. Log..

[8]  S. Shelah Cellularity of free products of Boolean algebras (or topologies) , 1995, Fundamenta Mathematicae.

[9]  Saharon Shelah,et al.  Applications of PCF theory , 2000, Journal of Symbolic Logic.

[10]  Saharon Shelah,et al.  On Successors of Singular Cardinals , 1979 .

[11]  Saharon Shelah Cardinalities of Topologies with Small Base , 1994, Ann. Pure Appl. Log..

[12]  John Gregory,et al.  Higher Souslin trees and the generalized continuum hypothesis , 1976, Journal of Symbolic Logic.

[13]  Saharon Shelah,et al.  Reflecting stationary sets and successors of singular cardinals , 1991, Arch. Math. Log..

[14]  Philipp Rothmaler,et al.  Tiny models of categorical theories , 1992, Arch. Math. Log..

[15]  Saharon Shelah,et al.  On certain indestructibility of strong cardinals and a question of Hajnal , 1989, Arch. Math. Log..

[16]  Saharon Shelah,et al.  On what I do not understand (and have something to say): Part I , 1999, Fundamenta Mathematicae.

[18]  Saharon Shelah,et al.  Splitting strongly almost disjoint families , 1986 .