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 1946

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.

18 votes

Is it possible to define cardinals that are distinct from either the $\aleph$ numbers or $\b...

One can consistently generate new cardinals simply by combining the two methods you have mentioned. For example, I claim that it is relatively consistent with ZF that the cardinal $\aleph_1+\beth_1$ …
Joel David Hamkins's user avatar
6 votes
Accepted

Cardinalities of maximal towers in ${\cal P}(\omega)$

The answer is yes, for I claim that every maximal chain has size continuum. Suppose that $C$ is a chain of subsets of $\mathbb{N}$ which is maximal with respect to almost inclusion. Let's work in the …
Joel David Hamkins's user avatar
43 votes

What is the most "concrete-feeling" equivalent formulation of the Continuum Hypothesis that ...

Here are a few of my favorite characterizations of the continuum hypothesis: Sierpiński (1951) proved that CH is equivalent to the assertion that there is a partition of the plane into two sets $\mat …
8 votes

Freiling's axiom of symmetry and CH - need some help

The continuum hypothesis implies the failure of Freiling's axiom of symmetry and indeed it is equivalent to the failure of this axiom. To see this, assume first that CH holds. What this means is that …
Joel David Hamkins's user avatar
8 votes
Accepted

Is each of the infinite statements of the Generalized Continuum Hypothesis independent?

In the interest of bringing the question to a conclusion, let me say that it is an immediate consequence of Easton's theorem, as mentioned in the comments, that the various GCH assertions at the $\ale …
16 votes

How many well-orders of reals are there?

Every well order of the real numbers has some order type between $\mathfrak{c}$ and $\mathfrak{c}^+$, and for any given order type arising, every permutation of $\mathbb{R}$ induces another well order …
Joel David Hamkins's user avatar
10 votes

Complete resolutions of GCH

$\newcommand\Ord{\text{Ord}}$Easton's theorem allows us to control the continuum function on the infinite regular cardinals, and in particular, on the infinite successor cardinals, in a very flexible …
Joel David Hamkins's user avatar
8 votes

Making all cardinals countable and its HOD

$\newcommand\gHOD{\text{gHOD}} \newcommand\HOD{\text{HOD}} \newcommand\ZFC{\text{ZFC}} \newcommand\GCH{\text{GCH}}$ I believe that it was Peter Koepke who first proposed that we should investigate t …
Joel David Hamkins's user avatar
12 votes
Accepted

Ground Axiom and behaviors of continuum function

In the paper The ground axiom is consistent with $V\ne{\rm HOD}$ (J. D. Hamkins, J. Reitz, W.H. Woodin, PAMS 136(8):2008), we prove that the ground axiom is consistent with $V\neq\text{HOD}$, and rema …
Joel David Hamkins's user avatar
5 votes
Accepted

Does strict order-preservation of powerset curtail the candidates for violation of CH?

First, let me remark that the particular way that you've posed the question has several problematic issues of formalization. One issue, noted by François, Andres and Andreas, is that it doesn't make s …
Joel David Hamkins's user avatar
7 votes

The Ground Axiom for special statements of set theory

In your definition, probably you intend that the forcing is nontrivial, since otherwise any consistent $\Phi$ would qualify via trivial forcing. Note also that your forceable terminology conflicts wit …
Joel David Hamkins's user avatar
21 votes
Accepted

When $2^\alpha = 2^\beta$ implies $\alpha=\beta$ ($\alpha,\beta$ cardinals)

François gives the correct affirmative answer. For the negative side, the usual method of proving that the negation of the Continuum Hypothesis is consistent with ZFC is to use the method of forcing t …
Joel David Hamkins's user avatar
12 votes

Uniqueness results that follow from CH

Under CH, we have saturated models of size continuum of any consistent first-order theory in a countable language, and for a complete theory these are unique by the back-and-forth method. (In my paper …
5 votes

The continuum hypothesis for packing shapes without overlapping

Since you ask specifically about compact $S$, it is natural also to consider only very nice packings. So let us consider only Borel packings, and in this simplified case, the answer is yes. Specific …
Joel David Hamkins's user avatar
14 votes
Accepted

Continuum Hypothesis and the fact that every co-finite topological space, with uncountable u...

Nice question! I claim that this property does not necessarily imply CH. As Todd guessed in his comment, the answer is related to certain cardinal characteristics of the continuum. Specifically, let …
Joel David Hamkins's user avatar

15 30 50 per page