**4**

votes

**2**answers

168 views

### On the number of models between a ground model and its forcing extension

Let $\kappa$ be a (finite or infinite) cardinal. Assuming consistency of $\text{ZFC}$ (and probabely some additional assumptions) is the following consistent with $\text{ZFC}$?
There is a countable ...

**3**

votes

**2**answers

152 views

### Joint Forcing Extension Property

Definition 1: A class $\mathcal{K}$ of countable transitive models of $\text{ZF}$ has strong "joint forcing extension property" (JFEP) iff for all $M,N\in \mathcal{K}$ there are forcing notions ...

**8**

votes

**1**answer

212 views

### A special c.c.c forcing notion and adding minimal generic reals

This question is related to my question "Forcing with c.c.c forcing notions, Cohen reals and Random reals".
A natural way to answer Prikry's conjecture is to build a c.c.c. forcing notion which adds ...

**8**

votes

**2**answers

434 views

### Is the tree of large cardinals linear?

Kanamori in the introduction of his book "The Higher Infinite" says:
"The investigation of large cardinal hypotheses is indeed a mainstream of modern set theory, and they have been found to play a ...

**2**

votes

**1**answer

213 views

### Forcing Language

I asked the following question (slightly paraphrased) about a week ago in Stack exchange but no one knew the answer to the particular question. I was hoping someone here might be able to help me.
...

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

**5**

votes

**1**answer

197 views

### $\Sigma_1$ Statements and Forcing Extensions

Assuming consistency of $\text{ZFC}$ (with some large cardinal axiom), is the following statement consistent with $\text{ZFC}$?
Any $\Sigma_1$ statement with parameters $\omega_1,\omega_2$ which ...

**4**

votes

**1**answer

247 views

### Consistency Strength of the Failure of Square on Singular Cardinals

Q1. What is the consistency strength of the failure of square on singular cardinals?
Q2. What are known as partial results in this direction?

**6**

votes

**2**answers

238 views

### Possible Choices for Cofinality of $\aleph_n$ without Choice

$\text{ZFC}$ proves that each $\aleph_{n}$ for $n\in \omega$ is a regular cardinal. But it seems without the Axiom of Choice there are many consistent possible choices for cofinality of such ...

**6**

votes

**1**answer

180 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

**0**answers

146 views

### Impact of Supercompacts on Measurables

It is consistent that the least measurable cardinal can carry exactly one normal measure but in almost all models for this theory there is no supercompact cardinal. It seems existence of a ...

**7**

votes

**4**answers

453 views

### A Special Pair of Models for ZFC (New Version)

Are there two models $M$ and $N$ for $\text{ZFC}$ such that:
(1) $M\subseteq N$
(2) $\aleph_{1}^{N}=\aleph_{1}^{M}$
(3) $\aleph_{2}^{N}=\aleph_{\omega +1}^{M}$
Update: According to Peter's useful ...

**6**

votes

**2**answers

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

**7**

votes

**1**answer

264 views

### Countable Product of Class Forcing Notions

Is the following consistent?
There are definable class forcing notions $\lbrace \mathbb{P}_{n}\rbrace_{n\in \omega}$ such that:
The product of any finitly many of them preserves $\text{ZFC}$ and ...

**4**

votes

**0**answers

196 views

### random real forcing, independent real

Assume all independent reals that are added by random real forcing. Take enumeration of each independent real. Is the family of all enumerations dominating?

**3**

votes

**4**answers

250 views

### What is the role of absoluteness in existence of a non-trivial self elementary embedding on an inner model?

ِDefinition (1): Call an inner model M "rigid" if there are no non-trivial elementary embeddings $j: M\longrightarrow M$.
It is possible that $L$ is not rigid, while the problem is open for $HOD$. ...

**5**

votes

**1**answer

222 views

### Adding large sets not containing countable ground model sets

The question is motivated by Toni's question "Approximation of infinite set in generic extension" (see Approximation of infinite set in generic extension).
Before I state the question, let me add ...

**6**

votes

**2**answers

327 views

### Question about Woodin's stationary tower

Suppose that $\delta$ is a Woodin cardinal and that $\kappa$ is the critical point of the generic embedding $j:V\rightarrow M$ after forcing with the stationary tower ($\kappa$ can be $\omega_1$ or ...

**2**

votes

**1**answer

202 views

### Are measures of a measurable cardinal measurable? (Edited and Updated Version)

Update: Regarding to Prof. Hamkins's guidance I restricted the questions to the "normal" measures to avoid trivial answers.
Definition: Let $\kappa$ be a measurable cardinal. Define:
...

**3**

votes

**3**answers

376 views

### A Question on Special Forcings

The usual use of forcing begins with a "countable" and "transitive" ground model of $ZFC$ and reaches to a "countable" and "transitive" generic model of $ZFC$ with the "same ordinals". In a discussion ...

**4**

votes

**1**answer

170 views

### what kind of ordinal is the degree of strongness of a partially strong cardinal (Edited and revised)

For an infinite cardinal $\kappa$ and an ordinal $\lambda>\kappa,$ $\kappa$ is called $\lambda-$strong, if there is a non-trivial elementary embedding $j: V \rightarrow M$ with $crit(j)=\kappa$ ...

**4**

votes

**2**answers

278 views

### Can we force with Fraisse filters to solve Vaught's conjecture?

Around the classic Fraisse amalgamation theorem in model theory we have the following notions:
Definition (1): If $M$ be an $\mathcal{L}$-structure then define:
$age(M):=\lbrace N~|~N~\text{is ...

**7**

votes

**1**answer

184 views

### Is there a forcing closure?

The main theorem of forcing says that for any c.t.m of $ZFC$ like $M$ and for all partial order $\mathbb{P}$ and $\mathbb{P}$-generic $G$ over $M$, there is a c.t.m of $ZFC$, like $N$ such that $N$ is ...

**5**

votes

**1**answer

177 views

### Can we always permute Cohen reals?

Consider the Cohen forcing, and suppose that $\dot x,\dot y$ are names for reals, which are not in the ground model (i.e. $1$ forces that neither is in the ground model).
Can we always find an ...

**8**

votes

**1**answer

157 views

### Why does an $\varepsilon$-incomplete $Q$ remain so in the forcing extension of any $\varepsilon$-complete $P$?

This is Shelah's simpler notion of 'completeness' for not adding reals via forcing. Here $P$ and $Q$ are forcing notions.
Let $S_{\aleph_0}(\kappa)$ be the set of all countable subsets of a cardinal ...

**5**

votes

**1**answer

303 views

### How Random is Cohen?

Suppose that $V$ is a universe of $\sf ZFC$, and $c$ is a Cohen generic real over $V$. Is it possible that $c$ is also generic in other senses? I know that it can't be random or Sacks or whatnot ...

**12**

votes

**6**answers

1k views

### The origins of forcing in mathematical logic and other branches of mathematics

As everyone knows, forcing was created by Cohen to answer questions in set theory.
Question 1. What are the first applications of set theoretic forcing in other branches of mathematical logic, like ...

**6**

votes

**2**answers

151 views

### Separation of almost disjoint families by ground model almost disjoint families

Suppose that $V$ is a model of $\sf ZFC$, and for concreteness I should point that at this point I am interested in $V=L$ as a ground model.
Suppose that $V[c]$ is a Cohen extension of $V$ where $c$ ...

**13**

votes

**2**answers

439 views

### Singularizing forcing of “small” cardinality?

Can there be a large cardinal $\kappa$ and a forcing of size $\kappa$ that makes $\kappa$ a singular cardinal? The motivation is that the standard Prikry forcing does not have a dense set of size ...

**5**

votes

**2**answers

326 views

### Applications of forcing in model theory

What are the major applications of (set theoretic) forcing in model theory?

**7**

votes

**1**answer

212 views

### Consistency results using nonstandard models

Are there any consistency results in set theory (or in mathematics) that can be proved using nonstandard models of ZFC but not using transitive models of ZFC?

**18**

votes

**1**answer

478 views

### Kaplansky's conjecture and Martin's axiom

Recall Kaplansky's conjecture which states that every algebra homomorphism from the Banach algebra C(X) (where X is a compact Hausdorff topological space) into any other Banach algebra, is ...

**5**

votes

**1**answer

136 views

### Generalization of Levy-Solovay theorem to kappa-c.c. forcings

The Levy-Solovay theorem says that if $\kappa$ is measurable, then it remains measurable in the extension by a small forcing ($|\mathbb{P}|<\kappa$). Is still true if we replace ...

**6**

votes

**1**answer

655 views

### Is there a monster behind the trees?

First Fix the following notation:
$\forall \kappa\in Card~~~Tp(\kappa):="\kappa~has~tree~property"$
The large cardinals as "monsters of heaven" live everywhere in the land of ...

**3**

votes

**1**answer

272 views

### Countable support iterated forcing of length $\alpha$ which forces $|\alpha| > \aleph_2$

Let $cf(\alpha) > \omega$, and $P_\alpha := \langle P_{\beta}, \dot{Q}_{\beta} : \beta < \alpha \rangle$ be a countable support iterated forcing construction (so for each $\beta$, $P_{\beta} = ...

**6**

votes

**1**answer

251 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

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

**8**

votes

**0**answers

145 views

### Consistency strength of saturated ideals on $[\lambda]^{<\kappa}$

In the Handbook of Set Theory, Foreman notes that in models constructed by Magidor from a huge cardinal, there exists a normal ideal on $[\omega_2]^{<\omega_1}$ that is $\omega_3$-saturated. Other ...

**6**

votes

**1**answer

231 views

### If there is a non-constructible real, is there an $L$-generic real?

If we assume that $\Bbb R^V\neq\Bbb R^L$, can we deduce that there is some $x\in\Bbb R^V$ which is $L$-generic?
Of course if $V$ is a generic extension of $L$ this is true, but if $V=L[0^\#]$ this is ...

**7**

votes

**2**answers

242 views

### How to make countably closed forcing “nice” without choice

When working over a model $V$ of $ZFC$, countably closed forcings are extremely nice:
If $\mathbb{P}$ is countably closed, then $V[G]$ has no new $\omega$-sequences of elements of $V$. In ...

**7**

votes

**2**answers

481 views

### Does forcing generally go one way?

Question Is there any forcing free proof for hard independence results? talks about the use of forcing for independence results such as: $Con(ZFC)\longrightarrow Con (ZFC+\neg CH) $. For that case ...

**7**

votes

**1**answer

323 views

### Is there any forcing free proof for hard independence results?

We are forced to use forcing for almost all "hard" independence results such as: $Con(ZFC)\longrightarrow Con (ZFC+\neg CH) $. The question simply is:
Primary Question: Is there any "forcing free" ...

**13**

votes

**3**answers

367 views

### Is Prikry forcing minimal?

Let $M$ be a model of $\sf ZFC$ in which $\kappa$ is a measurable cardinal, and $\cal U$ is a normal measure on $\kappa$. We can define the Prikry forcing (the most simple one) as the poset: $$\Bbb ...

**15**

votes

**2**answers

732 views

### Woodin's unpublished proof of the global failure of GCH

An unpublished result of Woodin says the following:
Theorem. Assuming the existence of large cardinals, it is consistent that $\forall \lambda, 2^{\lambda}=\lambda^{++}.$
In the paper "The ...

**8**

votes

**1**answer

230 views

### On free limits of iterations

Shelah isolates the notion of "$\aleph_1$-free iteration" in the first two sections of Chapter IX from Proper and Improper Forcing, and he proves there that properness is preserved by this sort of ...

**3**

votes

**1**answer

226 views

### Large cardinals and mild extensions

It is known that for many large cardinals $\kappa$ (like weakly compact, measurable,...) , $\kappa$ remains large of the same type after forcings of size $<\kappa$. Now the questions are:
Question ...

**12**

votes

**0**answers

403 views

### Some questions about $0^{\sharp}$ and forcing over $L$

1-Let $P\in L$ be a nontrivial set forcing or even a tame class forcing (tameness in the sense of Sy Friedman; see for example his Handbook paper), and let $G$ be $P-$generic over $L$. Then it is ...

**2**

votes

**2**answers

169 views

### Preservation of measurable cardinals in mild extensions

I would like some help with the proof of the preservation of measurable cardinals in mild extensions, as I am a bit new with forcing.
By mild extensions, I mean the generic extension produced from a ...

**10**

votes

**2**answers

492 views

### Failure of diamond at large cardinals

What is known about the failure of $\Diamond_{\kappa}$ (diamond at $\kappa$) for $\kappa$ (the least) inaccessible, (the least) Mahlo and (the least) weakly compact.
Remark. The problem of forcing ...

**4**

votes

**1**answer

355 views

### set theory forcing

Suppose $M$ satisfies the $CH$ and that we force over $M$ with $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$, that is, with the finite partial functions from $I$ to $2$. If $f \in M[G] \cap ...