# Tagged Questions

**11**

votes

**1**answer

319 views

### Singular in $V$ regular in $HOD$

Prikry forcing can be used to produce a model $V$ of $ZFC$ such that fo rsome cardinal $\kappa$ we have:
(1) $\kappa$ is singular in $V$ of cofinality $\omega,$
(2) $\kappa$ is regular (and in fact ...

**10**

votes

**0**answers

306 views

### c.c.c forcing notions and adding minimal generic reals

Is the following statement consistent:
``There is no non-trivial c.c.c forcing notion adding a minimal generic real''?
The question is related to Prikry's question: Is it consistent that any ...

**9**

votes

**1**answer

283 views

### Two questions about higher Souslin trees

Assume $V=L$ and let $\kappa$ be a Mahlo cardinal. Let $L[G]$ be the generic extension obatined by Mitchell forcing to make $2^{\aleph_0}=\aleph_2=\kappa.$
It is known that in the extension there ...

**17**

votes

**0**answers

702 views

+100

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

**15**

votes

**1**answer

333 views

### Namba forcing and semiproperness

This question is the result of leaving "Proper and Improper Forcing" on my nightstand by accident.
Is the statement "Namba forcing is semiproper" known to be equiconsistent with some more standard ...

**5**

votes

**2**answers

657 views

### A specific Model of ZFC

In his paper "Some Second Order Set Theory", Joel Hamkins asked whether there is a model of set theory $V$ that is elementary equivalent to $V[G]$, Whenever $G$ is $V$-generic for the collapse of a ...

**6**

votes

**1**answer

239 views

### moving up a consequence of PFA

The Proper Forcing Axiom (PFA) implies that every forcing which adds a subset of $\omega_1$ either adds a real or collapses $\omega_2$. Is it consistent that every forcing which adds a subset of ...

**3**

votes

**1**answer

175 views

### Representation of meager sets in Cohen extensions

Let $M$ be a transitive model of ZFC and $c\in {}^\omega2$ a Cohen real over $M$. Let $A$ be a meager Borel subset of $^\omega2$ in $M[c]$. I would like to prove that there exists a meager Borel set ...

**7**

votes

**1**answer

192 views

### $\mathsf{AD}_\mathbb{R}$ and Elementary Embeddings

Suppose $\mathsf{AD}_\mathbb{R} + V = L(\mathscr{P}(\mathbb{R})) + \mathsf{DC}$ holds. (We can use more if it is helpful.)
I believe under $\mathsf{AD}_\mathbb{R}$, every $A \subseteq \mathbb{R}$ is ...

**6**

votes

**0**answers

118 views

### Forcing in GBC, the ctm approach

There is a nice, detailed survey about forcing in GBC in the appendix of the dissertation of Jonas Reitz. At page 115 the author wrote: " If $ \Gamma $
is a finite collection of sentences forced by $ ...

**6**

votes

**1**answer

191 views

### Theorem of Bukovsky characterizing ground models

It was mentioned in a talk that Bukovsky proved the following are equivalent for inner models $M \subseteq V$:
(1) There is a partial order $\mathbb P \in M$ and a $\mathbb P$-generic filter $G \in ...

**6**

votes

**1**answer

192 views

### Fat stationary sets

Recall a stationary subset $S$ of a regular cardinal $\kappa$ is fat when for every $\alpha < \kappa$, and every club $C$, there is a closed set of order type $\alpha$ contained in $S \cap C$. It ...

**5**

votes

**1**answer

222 views

### Iteration of random reals

Consider two random reals $x, y$ over a transitive model $V$ of ZFC. More specifically, if $\mathcal C^V={}^\omega2$ is the Cantor space, composing the canonical homeomorphism with the projections ...

**14**

votes

**3**answers

815 views

### Set-theoretic forcing over sites?

All texts I have read on set-theoretic independence proofs consider several different sorts of constructions separately, such as Boolean-valued models (equivalently, forcing over posets), permutation ...

**5**

votes

**1**answer

214 views

### A button for individual reals

Hamkins introduced the notion of a "button" in forcing. This is a set-theoretic statement that can be forced, and can never be made false by further forcing. An example is $V \not= L$. Another ...

**11**

votes

**1**answer

310 views

### Changing cofinalities above supercompact cardinals

Question. Suppose $\kappa$ is a supercompact cardinal and $\lambda > \kappa$
is measurable (or even larger large cardinal if necessary).
Is there a set generic extension of the universe in ...

**10**

votes

**0**answers

222 views

### A variant of strong ideals, is it consistent?

Is it consistent relative to large cardinals that there is a precipitous ideal on $\omega_1$ forcing a generic elementary embedding $j : V \to M \subseteq V[G]$, such that $j(\omega_1) = \omega_n^V$ ...

**11**

votes

**1**answer

406 views

### Is it consistent with ZFC that no nontrivial forcing notion has automatic mutual genericity?

A nontrivial forcing notion $\newcommand\Q{\mathbb{Q}}\Q$ exhibits
automatic mutual genericity, if whenever $G,H\subseteq\Q$ are
distinct $V$-generic filters (existing, say, in some forcing
extension ...

**9**

votes

**1**answer

282 views

### Largeness and arithmetic progression properties of generic reals

Consider the following properties for a subset $A$ of $\mathbb{N}$:
(1) $A$ is large: $\sum_{n \in A}$$ 1\over n$$=\infty,$
(2) $A^\infty=\limsup \frac{|A \cap \{ 1, \dots, n\}|}{n} >0$,
(3) ...

**15**

votes

**2**answers

471 views

### capturing small sets in small factors

Suppose $\kappa$ is a regular cardinal and $P$ is a $\kappa$-c.c. partial order. I want to know when are small sets added by subforcings of size $<\kappa$. The following seems well-known:
...

**1**

vote

**1**answer

152 views

### Absoluteness and Tree Representations

Suppose $T$ is a tree on $\omega \times \omega \times \delta$ for some ordinal $\delta$ is a homogeneous tree (with some coherent set of measures witnessing homoegeneity). ($T$ can have additional ...

**12**

votes

**2**answers

396 views

### tree properties on $\omega_1$ and $\omega_2$

Are the following mutually consistent (relative to large cardinals)?
(1) There are no $\omega_2$-Aronszajn trees.
(2) There is an $\omega_1$-Kurepa tree.
In the models I know of the tree property ...

**5**

votes

**1**answer

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

**5**

votes

**0**answers

163 views

### Set theory and forcing from the point of view of a formal system $G^+$ of Gentzen type

There are four papers by Vladimir Alfeevich Kuznetsov, which discuss the above titled topic:
(1) Some problems in set theory from the standpoint of a formal system G+ of Gentzen type. (Russian) Akad. ...

**5**

votes

**1**answer

271 views

### Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...

**14**

votes

**1**answer

244 views

### Is the Martin's axiom number $\mathfrak m$ regular

The Martin's axiom number $\mathfrak m$ is the least cardinal $\kappa$ for which $\text{MA}_\kappa(\text{ccc})$ is false, i.e. the least cardinal such that there exists a ccc poset $P$ and a family ...

**12**

votes

**1**answer

805 views

### Reverse-engineer forcing: am I reinventing the wheel?

In the course of a project I’m working on, I’ve started playing around with a sort of “reverse-engineering” forcing. It seems interesting, but
I have a sinking feeling I’m reinventing the wheel; does ...

**7**

votes

**1**answer

170 views

### Can Sacks forcing add a Cohen generic real over $L$?

Motivated by this question Forcing the negation of CH without adding Cohen reals over L and Todd Eisworth's comment, the question is the following:
1) Suppose $V$ has no Cohen generic reals over $L$. ...

**6**

votes

**1**answer

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

**9**

votes

**6**answers

669 views

### Applications of forcing in model theory

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

**4**

votes

**0**answers

143 views

### Two questions about the behavior of the continuum function

The first question asks about the global behavior of the power function in the case of finite gaps.
Question 1. Fix a natural number $m>1.$ For each limit ordinal $\alpha,$ including $0$, let ...

**5**

votes

**0**answers

128 views

### Failure of GCH at a strongly compact cardinal

Does Con(ZFC+ there exists a strongly compact cardinal) imply Con(ZFC+ there exists a strongly compact cardinal $\kappa+ 2^\kappa > \kappa^+$)?

**6**

votes

**1**answer

208 views

### Elementary chains in forcing extensions of $M_1$

Let $M_1$ be the canonical inner model with one Woodin cardinal $\delta$. Now suppose that $\mathbb{P}$ is a forcing notion of size $< \delta$, which preserves $\omega_1$ and that $G$ is a generic ...

**12**

votes

**1**answer

251 views

### When can Power Sets be Limit Cardinals?

My original question (posted in http://math.stackexchange.com/questions/1584430/can-all-power-sets-be-limit-cardinals) was:
Is it possible to create a model of ZFC, so that the cardinality of each ...

**6**

votes

**1**answer

257 views

### How many closed measure zero sets are needed to cover the real line, really?

This is a refinement of an earlier question.
This question assumes familiarity with combinatorial cardinal characteristics of the continuum.
For the reader's convenience, I reproduce below the ...

**8**

votes

**1**answer

375 views

### How many closed measure zero sets are needed to cover the real line?

This question assumes familiarity with combinatorial cardinal characteristics of the continuum.
Let $\mathcal{E}$ be the $\sigma$-ideal generated by closed measure zero subsets of the real line. It ...

**5**

votes

**4**answers

1k views

### Where do Set Theory and Number Theory meet together?

As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of ...

**5**

votes

**0**answers

107 views

### Gleason’s Theorem for non-separable Hilbert spaces: On a theorem of Solovay

Gleason’s theorem plays an important role in the foundations of
quantum mechanics. On the positive side it demonstrates how the probabilistic
structure of quantum theory follows from its logical ...

**6**

votes

**0**answers

189 views

### Adding minimal subsets to $\aleph_\omega$

Given a cardinal $\kappa,$ recall that $X \subset \kappa$ is called fresh (over $V$), if $X \notin V,$ but $X \cap \alpha \in V$ for all
$\alpha < \kappa.$
Question. Is it consistent that there ...

**8**

votes

**1**answer

177 views

### Boolean-Valued Models: Why is $\| x=y \| \cdot \| \phi(x) \| \leq \| \phi(y) \|$?

Let $B$ be a complete Boolean algebra. Jech defines a Boolean-valued model $\mathfrak{A}$ of the language of set theory to consist of a Boolean universe $A$ and functions of two variables with values ...

**3**

votes

**1**answer

210 views

### When can you canonically extend an ultrafilter after forcing?

Suppose that $V$ is a model of $\sf ZFC$, and fix some regular $\kappa$, say $\omega_1$ for practical purposes.
Let $\cal U$ be an ultrafilter on $\omega_1$ in $V$ which is non-principal and even ...

**4**

votes

**0**answers

174 views

### Theories introduced by a class of forcing notions

The following notion is introduced by Mohammad Golshani. Let $V$ be a model of set theory and let $\mathcal{P}$ be a class consisting of non-trivial forcing notions in $V$. Let
$$Th(V, ...

**8**

votes

**1**answer

263 views

### Can one force there to be an elementary embedding $j:V_{\lambda}\rightarrow V_{\lambda}$ for some inaccessible $\lambda$?

Is it consistent that there exists an inaccessible cardinal $\lambda$ and a forcing extension $V[G]$ so that $$V[G]\models\text{There is some non-trivial elementary embedding ...

**8**

votes

**1**answer

263 views

### Transitive models and CH

The following was asked on stackexchange but I think it also belongs here:
http://math.stackexchange.com/questions/1513446/transitive-models-and-ch
Suppose $M, N$ are two countable transitive models ...

**5**

votes

**0**answers

130 views

### Sacks minimality without choice

The usual argument for the minimality result for Sacks forcing uses choice.
Theorem (Sacks): Let $s \subseteq \mathbb S_\kappa$ be generic for the forcing to add a Sacks subset to $\kappa$, where ...

**7**

votes

**0**answers

150 views

### $V$ as a $HOD$ of its class generic extension

By an old result of Roguski, The theory of the class $HOD$, any model $V$ of $ZFC$ has a class generic extension $V[G]$ such that $HOD$ of $V[G]$ equals $V$.
This result is also stated and generalized ...

**6**

votes

**0**answers

166 views

### PCF conjecture and fixed points of the $\aleph$-function

Recently Moti Gitik refuted Shelah's PCF conjecture, by producing a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1.$ See his papers
Short extenders forcings I and Short ...

**8**

votes

**1**answer

334 views

### A question about three forcings

Let $P_1$ be the finite support iteration of random forcings of length $\omega$. Let $P_2 = \text{Random} \times \text{Random}$ and $P_3 = \text{Random} \times \text{Cohen}$. Are $P_i, P_j$, for $1 ...

**8**

votes

**1**answer

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

**19**

votes

**1**answer

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