Questions tagged [continuum-hypothesis]

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.

Filter by
Sorted by
Tagged with
2 votes
1 answer
115 views

What's the consistency status/strength of this limitation principle?

$\DeclareMathOperator\iCard{iCard}$In a prior posting If we limit matters what ZFC can prove, would that be consistent? to MO, I tried to capture the informal principle of whatever ZFC proves, it is, ...
user avatar
2 votes
0 answers
150 views

What is the consistency strength of the following pattern of failure of the continuum hypothesis?

What is the least theory in which the following sentence is proved? $ \exists M: M\text { is CTM(ZFC+ GCH)} \land \forall \kappa \in Card^M (\kappa > 1 \implies \\\exists N: N \text { is CTM(ZFC) }...
user avatar
-1 votes
0 answers
79 views

Is the following relation between size-unreachability and fulfilling continuum hypothesis correct?

If we define $\operatorname {size-unreachable}$ set as a set of all subsets of it of strictly smaller cardinality than it. Formally, we define: $$ \operatorname {size-unreachable}(X) \iff X=\{Y \...
user avatar
-2 votes
1 answer
144 views

Which extension of ZFC proves that ZFC can only prove CH satisfied by the first two sets?

Which extension of $\sf ZFC$ prove that $$ {\sf ZFC} \not \vdash \exists x \, ( \operatorname {CH}(x) \land x \neq \emptyset \land x \neq 1)$$ Where $\operatorname {CH}(x) \iff \neg \exists \kappa \, (...
user avatar
3 votes
0 answers
106 views

Consistency of Generalised Continuum Hypothesis and univalence in HoTT

In homotopy type theory, propositional excluded middle and the axiom of choice sets are both consistent with univalence, both of which yields type theoretic models for classical mathematics. However, ...
user avatar
19 votes
3 answers
2k views

Unnecessary uses of the Continuum Hypothesis

This question was inspired by the MathOverflow question "Unnecessary uses of the axiom of choice". I want to know of statements in ZFC that can be proven by assuming the Continuum Hypothesis,...
17 votes
2 answers
1k views

Must uncountable standard models of ZFC satisfy CH?

In Cohen's article, The Discovery of Forcing, he says that "one cannot prove the existence of any uncountable standard model in which AC holds, and CH is false," and offers the following ...
user avatar
  • 64.1k
2 votes
1 answer
135 views

If GCH is breached the same way before a singular of uncountable cofinality, would that breach extend to that singular?

By 1 step breach of the GCH I mean the following: $$ 2^{\aleph_{\alpha}} = \aleph_{\alpha+2}$$ Now, it is known that there are more constrains on the cardinality of power sets at singlular cardinals ...
user avatar
1 vote
0 answers
169 views

Can GCH fail everywhere in every finite way?

Since the $\sf GCH$ cannot fail everywhere everyway (see here), the question here is if it can fail everywhere in every finite manner, that if we have a strictly increasing function $f$ on the ...
user avatar
1 vote
1 answer
129 views

Is existence of a cardinal that witness non-failure of GCH everywhere everyway, a theorem of ZF?

In an earlier positing to $\mathcal MO$, it appears that the answer to if the $\sf GCH$ can fail everywhere in every way is to the negative, this is the case in $\sf ZFC$, however it also appears that ...
user avatar
10 votes
2 answers
1k views

Can GCH fail everywhere every way?

The following question is about if it is compatible to add to $\sf ZF$ an axiom asserting the existence of a countable transitive model of $\sf ZF$ such that for every strictly increasing function $f$ ...
user avatar
14 votes
1 answer
2k views

If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?

If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the Goldbach conjecture proved? If ZFC+CH implies Goldbach, and if the Goldbach turn out to be false, then it ...
user avatar
  • 323
2 votes
1 answer
156 views

Continuum function maximum

Easton's theorem can give a very weak nontrivial constraint on continuum function, but it does not hold for singular cardinals. So: What are the non-trivial constraints on continuum function in ...
user avatar
10 votes
1 answer
346 views

Does GCH for alephs imply the axiom of choice?

GCH for alephs means the statement that, for any aleph $\kappa$, there are no cardinals $\mathfrak{r}$ such that $\kappa<\mathfrak{r}<2^\kappa$. Does GCH for alephs imply the axiom of choice? ...
user avatar
3 votes
0 answers
290 views

Are there any important geometric consequences of the Generalised Continuum Hypothesis?

In a paper by Rafael Dahman on the embedding of the long line into weakly complete vector spaces, those of the form $R^I$ for arbitrary $I$, and equipped with the Michal-Bastiani calculus, he notes a ...
user avatar
-3 votes
2 answers
194 views

Continuum hypothesis and cardinality of infinite tree paths [closed]

Suppose a tree with nodes located at levels $1,2,3...$. At each level the nodes branch into several nodes or do not branch. Does the cardinality of the set of all infinite paths in this tree depend on ...
user avatar
  • 8,348
4 votes
0 answers
181 views

PFA for cardinal preserving forcing notions and the CH

Let $FA_{\aleph_1}$(cardinal preserving proper forcings) be the forcing axiom: if $\mathbb{P}$ is a cardinal preserving proper forcing notion and $(D_\xi)_{\xi<\omega_1}$ are dense subsets of $\...
user avatar
5 votes
2 answers
634 views

Foundational results dependent on/equivalent to the continuum hypothesis or its negation?

I remember at a certain point early in my mathematical studies learning that the Axiom of Choice is equivalent to the following statement on Cartesian products: If $\{ X_i \}_{i \in I}$ is any ...
user avatar
7 votes
0 answers
239 views

Are there analogues of real-valued measurability for larger powersets?

Apologies if the question is somewhat naïve - I'm not a set theorist, just an enthusiast. One possible intuition we could have about the generalized continuum hypothesis is that power sets are so ...
user avatar
  • 8,175
0 votes
0 answers
129 views

What's the consistency strength of resemblance + global failure of the continuum hypothesis?

Let $T$ be a theory formalized in first order logic with equality and membership and the additional primitive constant symbol $W$, with the following axioms: Extensionality: $\forall z (z \in x \...
user avatar
7 votes
0 answers
204 views

$\Sigma^2_2$ absoluteness and $\diamondsuit$

This question touches on recent questions concerning the role of $\diamondsuit$ and the Continuum Hypothesis. In particular, I would like to know more information about a conjecture of Woodin on the ...
user avatar
9 votes
0 answers
348 views

On the role of $\diamondsuit$

The well-known axiom $\diamondsuit$ states that there is a sequence $\langle A_\alpha:\alpha<\omega_1\rangle$ (a $\diamondsuit$-sequence) of countable sets with the property that for any $A\...
user avatar
11 votes
0 answers
377 views

$\Sigma^2_1$ and the Continuum Hypothesis

This is a follow up to Will Brian's answer to this recent question. In particular, quoting Brian: "In fact, Paul Larson has pointed out to me that the statement "$\phi$ and $\phi^{-1}$ are conjugate"...
user avatar
5 votes
1 answer
519 views

Can $H_{\omega_1}$ and $H_{\omega_2}$ be in bi-interpretation synonymy?

This question concerns the possibility of the bi-interpretation synonymy of the structure $\langle H_{\omega_1},\in\rangle$, consisting of the hereditarily countable sets, and the structure $\langle ...
user avatar
6 votes
1 answer
594 views

What if $\mathbb{R}$ is in bijection with the cardinals less than $\frak{c}$?

I was wondering whether it is consistent to have $\frak{c} = \aleph_{\frak{c}}$ where $\frak{c} = 2^{\aleph_0}$ is the cardinality of the reals (over ZFC). If so, what interesting consequences of this ...
user avatar
  • 2,576
7 votes
1 answer
204 views

Embeddability into $\beta\omega$ and $\omega^*$

It is well known that under CH every totally-disconnected compact F-space of weight at most $\omega_1$ can be embedded into the remainder $\omega^*=\beta\omega\setminus\omega$ of the Cech-Stone ...
user avatar
11 votes
1 answer
352 views

The Parovichenko cardinal, is it equal to $\max\{\aleph_2,\mathfrak p\}$?

Let us define the Parovichenko cardinal $\mathfrak{P}$ as the largest cardinal $\kappa$ such that each compact Hausdorff space $K$ of weight $w(K)<\kappa$ is the continuous image of the remainder $...
user avatar
  • 32.9k
31 votes
1 answer
1k views

Is it still an open problem whether $\mathbb{R}^\omega$ is normal in the box topology?

On page 205 of his Topology textbook, James Munkres made an interesting remark: It is not known whether $\mathbb{R}^\omega$ is normal in the box topology. Mary-Ellen Rudin has shown that the answer ...
user avatar
7 votes
1 answer
413 views

A new cardinal characteristic of the continuum?

Let $\kappa$ be the smallest cardinality of a family $\mathcal F$ of subsets of $\omega$ such that for any bijective function $f:A\to B$ between disjoint infinite subsets of $\omega$ there exists a ...
user avatar
  • 32.9k
30 votes
2 answers
2k views

Mathematical Evidence Backing $|\mathbb{R}|=\aleph_2$

The "true" size of the real line, $\mathbb{R}$, has been the subject of Hilbert's first problem. Due to the Goedel and Cohen's work on the inner and outer models of $\text{ZFC}$, it turned ...
user avatar
2 votes
1 answer
348 views

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

The exponentiation operator inflicts a subtle information loss on the transfinite numerical equations, pretty similar to the case of $a^2=b^2 \nRightarrow a=b$ in real numbers. In fact, for the ...
user avatar
29 votes
2 answers
2k views

On the probability of the truth of the continuum hypothesis

First note that there exists a natural measure $\mu$ on $P(\omega \times \omega)$, inherited from the Lebesgue measure on the reals (by identifying the reals with $P(\omega)$ and $\omega$ with $\omega ...
user avatar
2 votes
3 answers
225 views

Example of an $\omega_1$ decreasing chain of dense semicontinua?

In his well-known paper Bellamy constructs an indecomposable continua with exactly two composants. The setup is as follows: We have an inverse-system $\{X(\alpha); f^\alpha_\beta: \beta,\alpha < \...
user avatar
  • 1,596
19 votes
1 answer
784 views

On Erdos-Kakutani like Equivalents of the Failure of Continuum Hypothesis

Among all mysterious equivalents of the Continuum Hypothesis and its negation, there is an algebraic combinatorial equivalent of the $\neg CH$ by Erdos and Kakutani (MR0008136) as follows: Definition. ...
user avatar
14 votes
1 answer
527 views

Continuum Hypothesis and the fact that every co-finite topological space, with uncountable underlying set , is contractible

Let $X$ be a co-finite topological space. If $|X| \ge 2^{\aleph_0}=\mathfrak c$, then $X$ is contractible (https://en.wikipedia.org/wiki/Contractible_space) . Indeed, there is a bijection $f: X \times ...
user avatar
7 votes
0 answers
260 views

A strange planar set and the Continuum Hypothesis

Call a number abnormal if its decimal expansion doesn't feature every digit an infinite number of times. Call a triangle in ${\Bbb R}^2$ abnormal if at least one of its angles spans an abnormal ...
user avatar
11 votes
1 answer
443 views

Is $[0,1]$ a disjoint union of $\aleph_1$ compact subsets with empty interior?

Is $[0,1]$ a disjoint union of $\aleph_1$ compact subsets with empty interior? The answer is obviously yes assuming the continuum hypothesis. Also, by Baire's lemma, the answer is negative if one ...
user avatar
  • 2,976
9 votes
2 answers
861 views

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

I am wondering if there are ways of defining "structure" on infinite sets that generate sequences of cardinals that cannot be proved to have the same cardinality as either the $\aleph$ or $\beth$ ...
user avatar
  • 101
19 votes
2 answers
1k views

Does $V = \textit{Ultimate }L$ imply GCH?

In his Midrasha Mathematicae lectures ("In Search of Ultimate $L$", BSL 23 [2017]: 1–109), Woodin notes that $V = \textit{Ultimate }L$ implies $\textrm{CH}$ (Theorem 7.26, p.103). Is it known whether $...
user avatar
19 votes
0 answers
747 views

Is this Variation of the Continuum Hypothesis Inconsistent with ZFC or ZF?

It is a well-known fact that the Generalized Continuum Hypothesis is undecidable from ZFC. For similar sentences $\phi$, this is simply equivalent to ZFC having a model $M$ for which $M\models\phi$. ...
user avatar
  • 1,108
9 votes
1 answer
818 views

Is it known whether or not $\aleph_\alpha=\beth_\alpha$ can be proven by ZFC?

Given a cardinal number $\aleph_\alpha$, is it known whether or not $\aleph_\alpha=\beth_\alpha$ is independent of ZFC? One could define $\mathrm{CH}(\aleph_\alpha)$ as $\aleph_\alpha=\beth_\alpha$. ...
user avatar
2 votes
0 answers
320 views

In Cohen's Independence of Continuum Hypothesis, can someone explain to me his definition of the $a_\delta$'s at the beginning of the paper?

Cohen's paper The independence of the Continuum Hypothesis, Proc. Natl. Acad. Sci. USA. 1963 Dec; 50(6): 1143–1148 (PMC221287) begins by invoking the Lowenheim-Skolem theorem to assert the ...
user avatar
4 votes
0 answers
194 views

Equivalence of Rathjen's continuum hypothesis and another form of the CH without choice

(This question is already posted on Math SE but it isn't answered, so I ask same question on this site.) The following form of a continuum hypothesis occurs in Rathjen's paper "Indefiniteness in semi-...
user avatar
  • 1,577
44 votes
1 answer
3k views

Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"

As is known, Hilbert attempted a proof sketch of the Continuum Hypothesis in the latter part of his paper, "On the Infinite". It is also known that it is false. Has there ever been a published ...
user avatar
8 votes
3 answers
1k views

Does anyone understand this comment about the continuum hypothesis?

At 31:37 in his lecture titled What is a manifold? posted on Youtube, Mikhail Gromov states that if we do not allow generic functions to exist then the continuum hypothesis is "obviously" true, and ...
user avatar
  • 2,478
2 votes
1 answer
834 views

Well-ordering of power set of $\omega$

Assuming initially the background set theory ZF, what is the exact status of the existence of a well-ordering on the power set of $\omega$? How much needs to be added to guarantee this?
user avatar
  • 12.4k
3 votes
1 answer
405 views

A Question on HOD, V and GCH

The theorem 1.1 of the following paper: Mohammad Golshani, V, HOD, and the GCH, Journal of Symbolic Logic. states that: Theorem: Assume $V\models ZFC+GCH+~\text{There exists a}~(\kappa+4)-\text{...
user avatar
7 votes
1 answer
437 views

Forcing the negation of CH without adding Cohen reals over L

Suppose CH + "there are no Cohen reals over L". Can we force the negation of CH without adding any Cohen real over L?
user avatar
3 votes
1 answer
253 views

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

For $A,B\subseteq \omega$ we write $A \subseteq^* B$ if $A\setminus B$ is finite. We call ${\cal T}\subseteq {\cal P}(\omega)$ a tower if it is linearly quasiordered with respect to $\subseteq^*$. ...
user avatar
19 votes
1 answer
724 views

Can we find CH in the analytical hierarchy?

Recently I was talking to my friend and I have mentioned to him that it was proven that CH is not provably (over ZFC) equivalent to any statement in second-order arithmetic. However, today I found out ...
user avatar
  • 23.2k