The continuum-hypothesis tag has no wiki summary.

**11**

votes

**3**answers

974 views

### Difference between ZFC and ZF+GCH

I hear that the axiom of choice (AC) derives from
The generalized continuum hypothesis(GCH).
And also hear that both AC and GCH are independent of
Zermelo–Fraenkel set theory(ZF).
So, I'm just ...

**10**

votes

**3**answers

449 views

### The continuum hypothesis for packing shapes without overlapping

Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many ...

**14**

votes

**1**answer

899 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, ...

**11**

votes

**0**answers

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

**5**

votes

**0**answers

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

**10**

votes

**1**answer

332 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

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

**7**

votes

**3**answers

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

**7**

votes

**3**answers

559 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$?

**12**

votes

**1**answer

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

**5**

votes

**1**answer

160 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

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

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

**6**

votes

**1**answer

183 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

**2**answers

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

**8**

votes

**0**answers

244 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, ...

**10**

votes

**1**answer

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

**16**

votes

**2**answers

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

**6**

votes

**1**answer

252 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

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

**13**

votes

**2**answers

395 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

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

**9**

votes

**1**answer

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

**4**

votes

**2**answers

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

**13**

votes

**3**answers

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

**1**

vote

**1**answer

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

**17**

votes

**1**answer

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

**6**

votes

**1**answer

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

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