# Tagged Questions

**3**

votes

**0**answers

77 views

### Silver's unpublished work on reverse Easton iteration

Silver was the first person who used the method of reverse Easton iterations in connection with large cardinals, and used it to force the failure of $GCH$ at some measurable cardinal.
At most papers ...

**14**

votes

**1**answer

278 views

### Three old questions on the Sacks forcing

I came across the two following Qs in 1970.
Find reals $a,b$ such that $a$ is Sacks over $L[b]$ and vice versa $b$ is Sacks over $L[a]$. Note that a Sacks $\times$ Sacks generic pair definitely does ...

**8**

votes

**0**answers

124 views

### Which forcing types preserve the axiom of determinacy?

Do we have some rudimentary understanding of some properties that a forcing can have in order to guarantee that it doesn't violate the axiom of determinacy?
To be more specific, in Which forcings ...

**7**

votes

**1**answer

234 views

### Inaccessible becomes successor of singular

Is it possible, starting from any large cardinal assumption, to find a countably closed forcing $\mathbb{P}$ such that for some inaccessible $\kappa$, $\Vdash_\mathbb{P} "\kappa = \lambda^+$ and ...

**6**

votes

**1**answer

162 views

### continuum many mutually generic filters

Given a countable model $M$ of set theory and an atomless, separative partial order $\mathbb{P} \in M$, can we construct (in the real universe) $2^\omega$ many pairwise mutually $\mathbb{P}$-generic ...

**4**

votes

**1**answer

260 views

### Question about “Coding the universe”

The following is a result which I know as a weak form of Jensen's coding lemma$^*$ (first published in the book "Coding the universe"; also see http://www.jstor.org/stable/2273986):
For any class ...

**7**

votes

**1**answer

116 views

### Strongly compact cardinal with bad covering properties

This is a continuation of the question covering properties of strongly compact embedding.
Recall that a cardinal $\kappa$ is $\nu$-strongly compact cardinal if there is an elementary embedding ...

**15**

votes

**0**answers

369 views

### If all reals are generic, is the set of reals generic?

Let $W\subseteq V$ be two models of $\sf ZFC$ with the same ordinals. Is the following situation consistent:
For every $x\in\Bbb R^V$ there is some $P_x\in W$ such that for some $G\subseteq P_x$ ...

**7**

votes

**2**answers

198 views

### Does forcing with recursively pointed perfect trees add a Turing degree that is minimal over $V$?

A tree $T$ on $\omega$ is recursively pointed if it is recursive in each of its branches. We can consider a variant of Sacks forcing where the conditions are recursively pointed perfect trees ordered ...

**7**

votes

**1**answer

261 views

### Forcing, cuts, and Dedekind-finite cardinalities

Tl;dr version: there are two natural classes of cuts in the nonstandard model of arithmetic consisting of the Dedekind-finite sets (if, in fact, they constitute such a model); both these classes are ...

**10**

votes

**1**answer

299 views

### Elements of the method of forcing in some papers of N. N. Luzin

In the paper
Eléments de la méthode de forcing dans quelques travaux de N. N. Lousin. (French) [Elements of the method of forcing in some papers of N. N. Luzin] Amphora, 469–479, Birkhäuser, ...

**5**

votes

**1**answer

323 views

### On Consistency of an Existence

Let $\omega \leq \kappa <2^{\omega}$ , $\omega \leq\lambda \leq \kappa$ and $D(\kappa, \lambda)$ be the statement:
For all $ \mathfrak{B} \subseteq \mathbf{P}(\omega)$ with ...

**2**

votes

**1**answer

207 views

### Partial interpretation of an iteration

Suppose that $\langle\mathbb{P_\alpha,\dot Q_\beta}\mid \beta<\delta,\alpha\leq\delta\rangle$ is a system of iterated forcing.
Let $\dot a$ be a name in $\mathbb P_\delta$, and let $G_\alpha$ be a ...

**6**

votes

**1**answer

222 views

### Characterization of intermediate submodels of generic extensions

Question 1: Suppose that $V[G]$ is a set generic extension of $V$ by some forcing notion $P\in V,$ and suppose that $W$ is a model of $ZFC, V \subset W \subset V[G].$ Can we find a forcing notion ...

**10**

votes

**1**answer

322 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

**2**answers

586 views

### Questions about Prikry forcing and Cohen forcing

I have some questions.
The first one is about the product of Prikry's forcing.
Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...

**10**

votes

**0**answers

245 views

### cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension?
To focus on the ...

**13**

votes

**0**answers

562 views

### Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$.
In this question I would like ...

**8**

votes

**2**answers

298 views

### The (non-)absoluteness of second-order elementary equivalence

Elementary equivalence is set-theoretically absolute between any two transitive models of set theory; this is also true for the infinitary logics - e.g., $\mathcal{L}_{\omega_1\omega}$ - at least, ...

**16**

votes

**2**answers

461 views

### Is the notion of fixed point property for topological spaces an absolute notion?

Recall that a topological space $X$ has the fixed point property (FPP) if any continuous function $f: X\to X$ has a fixed point.
Is the notion of FPP for topological spaces an absolute notion? More ...

**2**

votes

**0**answers

103 views

### Does the Lévy collapse obey this nice characterization? [duplicate]

This question is related to an issue in my answer to Monroe Eskew's question on the failure of Cantor-Bernstein for the Lévy collapse.
Question. Is the Lévy collapse $\text{Coll}(\omega,\lt\kappa)$ ...

**6**

votes

**1**answer

170 views

### Failure of Cantor-Bernstein for the Levy Collapse

Related to this question, is it possible to give an example of the failure of Cantor-Bernstein for complete embeddings of forcing notions involving the Levy Collapse $Col(\omega,<\kappa)$? Suppose ...

**4**

votes

**2**answers

291 views

### Forcing for Arbitrary First Order Theories

Forcing is a relative model construction method for models of $ZF$ as a particular first order theory using models of another first order theory (forcing companion) that in this case is the theory of ...

**5**

votes

**1**answer

143 views

### Intermediate submodels which do not satisfy AC

The following is known:
Theorem. Suppose $V[G]$ is a generic extension of $V$ by a set forcing, and let $N$ be a model of $ZFC$ with $V\subseteq N\subseteq V[G].$ Then $N$ is a generic extension of ...

**8**

votes

**3**answers

297 views

### Who proved “sets in every generic are already in the ground model?”

Suppose $\mathbb{P}$ is a notion of forcing in the ground model $V$, and $X$ is a set which is in $V[G]$ for every $\mathbb{P}$-generic filter $G$. Then $X\in V$ already, by a fairly simple (if ...

**5**

votes

**3**answers

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

**8**

votes

**1**answer

232 views

### Genericity by names

If $P$ is a notion of forcing in $M$, then $G$ is a $P$-generic filter over $M$ if $G\subseteq P$ is a filter, and for every $D\in M$ which is a dense subset of $P$, $G\cap D\neq\varnothing$.
...

**23**

votes

**2**answers

492 views

### When does the choice of the generic matter?

It is a somewhat curious phenomenon that, in forcing arguments, one usually doesn't care about any particular properties of the generic filter being used (this isn't strictly true; there are cases ...

**4**

votes

**1**answer

204 views

### Bad subforcings of nice forcing notions

Let $\mathbb{P}$ and $\mathbb{Q}$ be two forcing notions. Recall that we say $\mathbb{Q}$ is a subforcing of $\mathbb{P}$ if there exists a regular embedding $\mathbb{Q} \to \text{r.o.}(\mathbb{P}).$
...

**10**

votes

**1**answer

346 views

### V=HOD & The Height of the Large Cardinal Tree

As we know the assumption $V=L$ adds a restriction on the height of the large cardinal tree. Also there is a strict border like $0^{\sharp}$ exists such that all large cardinal axioms which are ...

**1**

vote

**1**answer

255 views

### $(\kappa , \lambda)$ - Minimal Models of $\text{ZF}$

The notion of minimality in model theory is related to the existence of a gap in the size of definable subsets of a model. Now consider the following generalization:
Definition 1: Let $M$ be a ...

**2**

votes

**1**answer

561 views

### Subsets of Real Numbers (Edited & Revised Version)

Question 1: Is it consistent with $\text{ZF}$ that only countable subsets of $\mathbb{R}$ are well-orderable?
Question 2: Is it consistent that for some $\lambda$, $\aleph_0 < \lambda < ...

**4**

votes

**3**answers

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

**4**

votes

**2**answers

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

**8**

votes

**1**answer

207 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

425 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

208 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

246 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

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

**3**

votes

**4**answers

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

**2**

votes

**1**answer

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

**4**

votes

**2**answers

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

**5**

votes

**1**answer

176 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

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

**13**

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

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

**7**

votes

**1**answer

207 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?