Range of values for ##2^{\aleph_0}##

Click For Summary
SUMMARY

The discussion centers on the values that ##2^{\aleph_0}## can assume in models of ZFC where the Continuum Hypothesis (CH) does not hold. It references Solovay's result, which states that for any uncountable cardinal ##\kappa##, there exists a forcing extension where ##2^{\aleph_0} = \kappa##. Additionally, it highlights König's theorem, which establishes that it is inconsistent to assume ##2^{\aleph_0}## equals ##\aleph_{\omega}##, ##\aleph_{\omega_1+\omega}##, or any cardinal with cofinality ##\omega##.

PREREQUISITES
  • Understanding of Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC)
  • Familiarity with the Continuum Hypothesis (CH)
  • Knowledge of cardinal numbers and their properties
  • Basic concepts of forcing in set theory
NEXT STEPS
  • Study Solovay's result on cardinalities in models of ZFC
  • Explore König's theorem and its implications for cardinality
  • Learn about forcing techniques in set theory
  • Investigate the implications of the Continuum Hypothesis on cardinal numbers
USEFUL FOR

Mathematicians, set theorists, and logicians interested in advanced topics in set theory, particularly those exploring the implications of the Continuum Hypothesis and cardinal arithmetic.

WWGD
Science Advisor
Homework Helper
Messages
7,779
Reaction score
13,023
TL;DR
Possible values of cardinality in different models of ZFC+ ~CH
Ok, so assume we have a model for ZFC where CH does not hold. What values may ##2^{\aleph_0}## assume over said models?
 
Physics news on Phys.org
According to Wikipedia,

A result of Solovay, proved shortly after Cohen's result on the independence of the continuum hypothesis, shows that in any model of ZFC, if ##\kappa## is a cardinal of uncountable cofinality, then there is a forcing extension in which ##2^{\aleph_0} = \kappa##. However, per König's theorem, it is not consistent to assume ##2^{\aleph _{0}}## is ##\aleph _{\omega }## or ##\aleph _{\omega _{1}+\omega }## or any cardinal with cofinality ##\omega##.
 
  • Like
Likes   Reactions: WWGD
Excellent, Steven Daryl, thank you.
 

Similar threads

  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
4K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K