Skip to main content
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
Search options answers only not deleted user 11115

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.

12 votes

Can GCH fail everywhere every way?

When working in ZF, one can have more freedom. See An Easton-like Theorem for Zermelo-Fraenkel Set Theory with the Axiom of Dependent Choice and An Easton-like theorem for Zermelo-Fraenkel Set Theory …
Mohammad Golshani's user avatar
7 votes

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

As it is stated in the comments, one reference is Sierpinski's book, Hypothese Du Continu, though it is not in English. Another reference is Propositions Equivalent to the Continuum Hypothesis. See al …
Mohammad Golshani's user avatar
7 votes

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

You may also look at Judah's paper Was Godel right. Judah intensively discusses why the actual evidences accumulated by 30 years of forcing considerations suggest that the most reasonable size for t …
Mohammad Golshani's user avatar
25 votes
Accepted

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

In his slide Absolutely ordinal definable sets John Steel writes: At the same time, one hopes that V = ultimate L will yield a detailed fine structure theory for V, removing the incompleteness tha …
Mohammad Golshani's user avatar
4 votes

A Question on HOD, V and GCH

Thanks for referring to my paper. Here are some notes: 1) In the above paper, we have a fixed gap 3 everywhere, while if someone wants a model in which $GCH$ fails everywhere but its $HOD$ satisfies …
Mohammad Golshani's user avatar
8 votes

Complete resolutions of GCH

Let me add more examples: If we consider the global behavior of the power function, then we have for example: (A) (Foreman-Woodin): $F$ can be such that $F(\alpha)>\alpha+\omega,$ all $\alpha$ ( …
Mohammad Golshani's user avatar
7 votes
Accepted

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

First note that PFA implies SCH. On the other hand, PFA is indestructible under $\aleph_2-$directed closed forcings, so we can force any pattern of Easton theorem for regular cardinals $\geq \aleph_2. …
Mohammad Golshani's user avatar
11 votes
Accepted

A New Continuum Hypothesis (Revised Version)

In the following answer, by Foreman-woodin model, I mean the model constructed by them in the paper "The generalized continuum hypothesis can fail everywhere. Ann. of Math. (2) 133 (1991), no. 1, 1–35 …
Mohammad Golshani's user avatar
6 votes

The First Failure of GCH in Large Cardinals Smaller than Measurables

As far as I know the best results in this direction are due to Levinski (see his paper "Filters and large cardinals"). The following results are taken from the above paper. First a few definitions: …
Mohammad Golshani's user avatar
11 votes

Solutions to the Continuum Hypothesis

Let me add in short details, views of three famous set theorists about the problem: Shelah’s answer: The question was wrong. The right question should be about other combinatorial objects. There we …
Mohammad Golshani's user avatar