Search Results
| 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 continuum-hypothesis
Search options 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.
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 …
- 236k
17
votes
CH in non-set theoretic foundations
One consideration will be that the CH statement can become ambiguous in weaker foundations, since statements that are equivalent in ZFC are not always equivalent in weaker theories.
For example, witho …
- 236k
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 …
- 236k
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 …
23
votes
Accepted
Is it consistent with ZFC that the real line is approachable by sets with no accumulation po...
It is a very nice question, but unfortunately, this is impossible.
Each member $s\in S$ must be countable, since uncountable sets have accumulation points. And since the hierarchy is accumulating as y …
- 236k
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 …
8
votes
Accepted
How to settle the Generalized Continuum Hypothesis when there are urelements?
In ZFCA, every set is equinumerous with a pure set, since every well ordering of a set makes it bijective with an ordinal, which is pure. Therefore the cardinal structure of any model of ZFCA is refle …
- 236k
7
votes
Is "the purely probabilistic version of Freiling's axiom of symmetry" disprovable in ZFC?
This is not a full answer, but let me just point out that the statement is relatively consistent both with CH and also with $\neg$CH.
CH implies the statement, since we can take $S$ to be the (convers …
- 236k
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 …
6
votes
1
answer
608
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 …
- 236k
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 …
- 236k
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$ …
- 236k
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 …
- 236k
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 …
- 236k
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 …
- 236k