Talk:Continuum hypothesis

	; Archives (Index) ;
	1; 2;
	This page is archived by ClueBot III.

This page is not a forum for general discussion about Continuum hypothesis. Any such comments may be removed or refactored. Please limit discussion to improvement of this article. You may wish to ask factual questions about Continuum hypothesis at the Reference desk.

Mathematics High‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
High	This article has been rated as High-priority on the project's priority scale.
	This was a selected article on the Mathematics Portal.

Archives

Index 1, 2

This page has archives. Sections older than 90 days may be automatically archived by .

Doesn't Solovay's result require an upper bound on cardinality?

The section Independence from ZFC contains this sentence:

"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$ ."

But the uncountable cofinality of such a 𝜅 must be ≤ $2^{\aleph _{0}}$ , because otherwise 𝜅 > $2^{\aleph _{0}}$ , and so 𝜅 ≠ $2^{\aleph _{0}}$ .

If this is right, I hope that someone knowledgeable about this subject will fix this omission. — Preceding unsigned comment added by 98.36.148.11 (talk • contribs)

See Forcing (mathematics). "in any model of ZFC" refers to a situation where the model is a set, not the actual universe. So an "uncountable cardinal" Κ is only uncountable in the model, not in the actual universe. So you are mistaken. JRSpriggs (talk) 14:18, 23 November 2024 (UTC)[reply]