This  level-5 vital article is rated B-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics High‑priority 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 ClueBot III.

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 is a cardinal of uncountable cofinality, then there is a forcing extension in which ."

But the uncountable cofinality of such a 𝜅 must be ≤ , because otherwise 𝜅 > , and so 𝜅 ≠ .

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]