The continuum-hypothesis tag has no wiki summary.

**65**

votes

**9**answers

10k views

### Solutions to the Continuum Hypothesis

(A related MO question: What is the general opinion on the Generalized Continuum Hypothesis? )
Background
The Continuum Hypothesis (CH) posed by Cantor in 1890 asserts that $ \aleph_1=2^{\aleph_0}$. ...

**17**

votes

**2**answers

483 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 ...

**17**

votes

**1**answer

894 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}$ ...

**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

**3**answers

865 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 ...

**13**

votes

**2**answers

349 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

**2**answers

834 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

291 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

**1**answer

360 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: ...

**10**

votes

**1**answer

370 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 ...

**9**

votes

**1**answer

291 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

224 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

236 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. ...

**7**

votes

**1**answer

289 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

494 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

331 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

166 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 ...

**5**

votes

**3**answers

550 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

151 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,$
...

**4**

votes

**3**answers

319 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

548 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

349 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 ...