The continuum-hypothesis tag has no wiki summary.

**71**

votes

**9**answers

11k views

### Solutions to the Continuum Hypothesis

Related MO questions: What is the general opinion on the Generalized Continuum Hypothesis? Completion of ZFC )
Background
The Continuum Hypothesis (CH) posed by Cantor in 1890 asserts that $ ...

**17**

votes

**1**answer

956 views

### The Continuum Hypothesis and Countable Unions

I recently edited an answer of mine on math.SE which discussed the implication of the two assertions:
$AH(0)$ which is $2^{\aleph_0}=\aleph_1$, and
$CH$ which says that if $A\subseteq 2^{\omega}$ ...

**16**

votes

**2**answers

499 views

### Intersection of compact sets in the unit interval

Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr ...

**14**

votes

**4**answers

1k views

### A New Continuum Hypothesis (Revised Version)

Define $N_n$ as $n$ th natural number: $N_0=0, N_1=1, N_2=2, ...$.
What happens after exponentiation?
We have the following equation: $2^{N_n}=N_{2^{n}}$.
(Which says: For all finite cardinal $n$ ...

**13**

votes

**1**answer

852 views

### How much of GCH do we need to guarantee well-ordering of continuum?

It's well known that, if GCH holds, then every cardinal can be well-ordered. However, I'm sure we don't need full power of GCH to prove it for specific cardinal, e.g. continuum. I have been wondering, ...

**13**

votes

**2**answers

383 views

### Why does CH imply that there is a unique ultrapower of $\mathbb{N}$?

I've read these words: "How many ultra products $ā_Uā$ exist up to isomorphism, where $U$ is a non-principal ultrafilter over $ā$? If continuum hypothesis(CH) holds, then obviously just one ..."
i ...

**12**

votes

**3**answers

899 views

### When was the continuum hypothesis born?

The question Solutions to the Continuum Hypothesis states that the continuum hypothesis was posed by Cantor in 1890. In http://en.wikipedia.org/wiki/Continuum_hypothesis the year 1878 is quoted ...

**12**

votes

**2**answers

861 views

### Continuum Hypothesis

I am new here, so forgive me if this question does not satisfy the protocols of the site.
I know there are so many equivalents to the AC (axiom of choice) and there are books that lists this ...

**12**

votes

**1**answer

349 views

### Families of pairwise incomparable subsets of the integers

Certain maximal objects whose existence follows from Zorn's Lemma have received some
set-theoretic attention.
Examples are maximal independent families and maximal almost disjoint families.
There is ...

**11**

votes

**0**answers

224 views

### Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?

I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero.
In the 1966 paper "Additive gruppen mit vorgegebener ...

**10**

votes

**1**answer

325 views

### Does small forcing preserve CH?

Suppose CH holds and $\mathbb{P}$ is a poset of size $\omega_1$, such that forcing with $\mathbb{P}$ preserves $\omega_1$. Does forcing with $\mathbb{P}$ preserve CH? If $\mathbb{P}$ is proper then ...

**10**

votes

**1**answer

387 views

### Ground Axiom and behaviors of continuum function

The Ground Axiom ($GA$) is the assertion that the universe of
sets ($V$) is not a forcing extension of any inner model $W$ by nontrivial forcing
$P\in W$.
Is $GA$ consistent with any possible ...

**10**

votes

**1**answer

413 views

### Open coloring axiom vs. CH

Is there a simple, direct proof that the open coloring axiom contradicts CH (straight from the definitions, no machinery allowed)? The separable metric spaces version of OCA, if that helps.
Edit: ...

**9**

votes

**1**answer

310 views

### Conceptual Structuralism and Continuum hypothesis

In Ferefman's paper 'Is the Continuum Hypothesis a definite mathematical problem?', he argues that within the philosophy of conceptual structuralism, the continuum hypothesis is not a definite ...

**8**

votes

**0**answers

239 views

### Ultrapowers of Banach spaces without the continuum hypothesis

Let $\mathcal{U}$ be a non-trivial ultrafilter on the set of integers $\mathbb{N}$, and let $C(K)$ denote the Banach space of continuous functions on a compact $K$. Under the continuum hypothesis CH, ...

**7**

votes

**1**answer

311 views

### Making all cardinals countable and its HOD

Suppose that $G$ is $Col(\omega, <Ord)$-generic over $V$ and let $W=HOD^{V[G]}$. Is $CH$ true in $W$? In general, what can we say about the behaviour of the power function in $W$?
Update. Are the ...

**6**

votes

**3**answers

535 views

### Very Large Cardinal Axioms and Continuum Hypothesis

Are very large cardinal axioms like $I_0$, $I_1$, $I_2$ consistent with $CH$ and $GCH$?

**6**

votes

**2**answers

359 views

### The First Failure of GCH in Large Cardinals Smaller than Measurables

A well known theorem by Scott says:
If $\kappa$ is a measurable cardinal and $\mu$ a normal measure on it and $\mu (\lbrace\lambda\in\kappa~|~2^{\lambda}=\lambda^{+}\rbrace)=1$ then ...

**6**

votes

**1**answer

175 views

### An explicit construction of reals added after some forcing notions

Consider the forcing notion(s) introduced by Friedman (or Mitchell or Neeman) for adding a club subset of $\omega_2$ by finite conditions. In the generic extension CH fails, but I can't see the reals ...

**6**

votes

**1**answer

247 views

### The Ground Axiom for special statements of set theory

The Ground Axiom (GA), introduced by Hamkins and Reitz, asserts that the universe is not a nontrivial set forcing extension of any inner model, and it is known that GA is consistent relative to ZFC. ...

**6**

votes

**1**answer

607 views

### Iterated forcing and CH

I need some help with this theorem: if $P_\beta=\langle P_\alpha,\dot{Q}_\alpha:\alpha\leq\beta\rangle$, $\beta<\omega_2$, is a CSI of proper forcings, $P_\alpha\Vdash \lvert ...

**5**

votes

**3**answers

623 views

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

We know $PFA$ implies $2^{\aleph_0}=\aleph_2$.
Q1. What does $PFA$ say about other values of continuum function? Does proper forcing axiom carry any further information about values of continuum ...

**5**

votes

**1**answer

157 views

### Intermediate submodels and the continuum hypothesis

Let $V$ be a model of $ZFC+GCH$ and let $V[G]$ be a generic extension of $V$ in which $CH$ fails.
Question 1. Is there a model $W$ such that:
1) $V \subseteq W \subseteq V[G],$
2) $W\models CH,$
...

**5**

votes

**0**answers

346 views

### Last Status of Feferman's Conjecture on Indefinite Value of Continuum

The "true" value of $2^{\aleph_0}$ is one of the most fundamental open questions of mathematics and its philosophy. Hundreds of set theoretic results during the last century don't say anything more ...

**4**

votes

**3**answers

344 views

### Minimal Generalized Continuum Hypothesis & Axiom of Choice

It is well known that working in the frame of $\text{ZF}$, the Generalized Continuum Hypothesis ($\text{GCH}$) implies the Axiom of Choice ($\text{AC}$), i.e. $\text{ZF}+\text{GCH}\vdash \text{AC}$.
...

**4**

votes

**2**answers

616 views

### Are all models of ZF + DC + “All set of reals are lebesgue measurable” also models of CH? [duplicate]

Possible Duplicate:
Lebesgue Measurability and Weak CH
I have studied a little set theory and I found that Solovay constructed a model of ZF+DC+"All set of reals are Lebesgue measurable" and ...

**1**

vote

**1**answer

361 views

### Cardinal Arithmetic, foundations and constructive math

This is not my area but a question occurred to me that I can not find the answer to. There is a very strong axiom of constructibility which ironically gives us highly non-constructive math (GCH is one ...