Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 57114

Questions about the continuum hypothesis, or where the continuum hypothesis or its negation plays a role. This tag is also suitable, by extension, to refer to the generalized continuum hypothesis and related issues.

9 votes
Accepted

Is it known whether or not $\aleph_\alpha=\beth_\alpha$ can be proven by ZFC?

Claim. For any $\alpha >0 \colon$ $\mathrm{ZFC} \not \vdash \mathrm{CH}(\aleph_{\alpha})$ Proof. Starting with $L$, we may enlarge the continuum $\beth_1$ arbitrarily without changing cardinals. In p …
Stefan Mesken's user avatar
10 votes

Does $V = \textit{Ultimate }L$ imply GCH?

During this year's conferene on inner model theory in Münster, Gabriel Goldberg proved that the so-called Ultrapower Axiom implies that $\mathrm{GCH}$ holds above a supercompact cardinal (and since th …
Stefan Mesken's user avatar