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 11145

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.

7 votes
Accepted

Continuum hypothesis and cardinality of infinite tree paths

The set of all branches is a closed set of reals. Cantor proved that closed sets are either countable or of size continuum.
Monroe Eskew's user avatar
  • 18.6k
23 votes
Accepted

Can GCH fail everywhere every way?

No. An early nontrivial constraint on the $\beth$ function comes from Kőnig's Theorem, that for all infinite $\kappa$, $\mathrm{cf}(2^\kappa)>\kappa$. This implies that we cannot have $\beth_\alpha …
Monroe Eskew's user avatar
  • 18.6k
4 votes

Strong Total Failures vs. Weak Instances of the Generalized Continuum Hypothesis

In the Foreman-Woodin model (mathscinet MR1087344), for all $\kappa$, $\beth_n(\kappa)$ is at least the $n^{th}$ weakly inaccessible above $\kappa$. Furthermore, this model satisfies the following: …
Monroe Eskew's user avatar
  • 18.6k
6 votes

PFA: A New Godel's Program & A New Large Cardinal Ladder (Updated)

If we start with an indestructibly supercompact cardinal $\kappa$, then we can do Easton forcing to get any reasonable continuum function on the regular cardinals $\geq \kappa$ and retain the supercom …
Monroe Eskew's user avatar
  • 18.6k
11 votes
Accepted

A question regarding the relation between Freiling's Axiom of Symmetry and real-valued measu...

Real-valued measurable cardinals (RVM) are equiconsistent with 2-valued measurable cardinals. I believe this is due to Solovay and Kunen. (Solovay for the forcing direction, Kunen for the inner mode …
Monroe Eskew's user avatar
  • 18.6k