4
votes
0answers
133 views
+150

A question about $\dot{S^Q}$-semiproperness and revised countable support iterated forcing of length a limit ordinal

For a forcing notion $Q$, let $\dot{S^Q}$ be the $Q$-name for the class of ordinals $\{\kappa : \kappa = \omega_1^{V}$ $or$ $\kappa$ $is$ $a$ $regular$ $uncountable$ $cardinal \}$ in $V^Q$. We say ...
6
votes
1answer
281 views

Different approaches to forcing

There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is: Question 1. Which different approaches to set theoretic forcing are ...
2
votes
0answers
106 views

Iterated Forcing and Subposet of Conditions with a Given Support

Let $\mathbb{S}_{\omega_2}$ denote the $\omega_2$-iteration of Sacks forcing. (Sacks forcing is just used as an example, but any other definable forcing and any iteration of the same forcing ...
6
votes
0answers
206 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 ...
6
votes
1answer
87 views

$RUCar^{V}$-semiproperness implies properness

This is a claim in Shelah's Proper and Improper Forcing, more specifically Claim 2.3(1) of Chapter X (p. 484). The proof of the claim is "Easy" but I cannot quite figure it out. There must be some ...
16
votes
1answer
383 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
0answers
140 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 ...
5
votes
2answers
174 views

Iteration of Proper Forcing and Support of Master Conditions

Suppose $\mathbb{P}$ is a definable proper forcing (for instance Sacks forcing). Let $\alpha$ be some ordinal. Let $\mathbb{P}_\alpha$ be the countable support iteration of $\mathbb{P}$ of length ...
5
votes
1answer
227 views

Relationship between fragments of the axiom of choice and the dependent choice principles

The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...
7
votes
1answer
237 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 ...
0
votes
0answers
136 views

A not defined notion in Friedman's article about Generalized Fubini's Theorem

I intend to study Friedman's article, A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions (http://projecteuclid.org/download/pdf_1/euclid.ijm/1256047607). I think since I had a modern ...
6
votes
1answer
167 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 ...
3
votes
1answer
89 views

Boolean completion (of a forcing notion) isomorphic to each of its cones

Suppose $ \mathbb{P} := (P, {\leq_P}, 1_P) $ is a separative partial order. Let $ \mathbb{B} := \operatorname{RO}(\mathbb{P}) $ denote the Boolean completion. Fix some dense embedding $ i \colon P ...
4
votes
1answer
177 views

forcing square with small conditions

In the paper, Large cardinals and definable counterexamples to the continuum hypothesis, Foreman and Magidor mention a way to force $\square_{\omega_1}$ with countable conditions. (This is used in ...
4
votes
2answers
163 views

Borel Sets in Sacks Generic Extension

Let $\mathbb{S}$ denote Sacks forcing. This is forcing with perfect trees or equivalently forcing with uncountable Borel subsets of ${}^\omega 2$ with the relation $\subseteq$. Let $G \subseteq ...
5
votes
1answer
307 views

Embeddings of forcing notions - preserve properness?

Let $ M $ be a countable, transitive model for $ \mathsf{ZFC}^* $, i.e. for a sufficiently large finite fragment of $ \mathsf{ZFC} $. Suppose that $ \mathbb{P} := (P, {\leq_P}, \mathbb{1}_P) \in M $ ...
4
votes
1answer
263 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
1answer
117 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
0answers
371 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
2answers
204 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
1answer
266 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
1answer
301 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
1answer
327 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 ...
9
votes
2answers
421 views

Origin of the term “generic” in set theory

In set theory, in particular the context of forcing, if $M$ is a model of $\sf ZFC$ and $P\in M$ is a partial order, we say that $G\subseteq P$ is a generic filter (or $M$-generic or generic over $M$) ...
3
votes
1answer
96 views

Ultrafilters of weight $\aleph_2$ in Sacks model

It is well-known that in Sacks model there are P-points and even Ramsey ultrafilters, but what the usual (i.e. findable in the literature) proofs for these facts do is proving that ground model ...
2
votes
1answer
208 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 ...
11
votes
1answer
348 views

The independence number

I have been reading about cardinal invariants and I have a question about the independence number $\mathfrak{i}$. In Blass's paper (Combinatorial Characteristics of the Continumm) it is mention that ...
9
votes
1answer
317 views

splitting subsets of cardinals

Suppose $\mathbb{P}$ is a separative partial order of uniform density $\kappa$, i.e. for all $p \in \mathbb{P}$, the least size of dense set below $p$ is $\kappa$. Does forcing with $\mathbb{P}$ add ...
8
votes
1answer
228 views

Destroying the Mahloness of a cardinal with $\kappa$.c.c. forcing

Question: Is it possible to have a Mahlo cardinal $\kappa$ such that there is a $\kappa$.c.c. forcing that makes it non-Mahlo? If this is possible then this forcing must change the cofinality of all ...
6
votes
1answer
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 ...
2
votes
1answer
146 views

Intermediate Extensions Determined by Reals

Does there exist a forcing $P$ which adds a generic real in the sense that $V[G] = V[x]$ for some $x \in ({}^\omega\omega)^{V[G]}$, and for all reals $y \in ({}^\omega\omega)^{V[G]}$, if $V[y] \neq ...
5
votes
1answer
269 views

Ultraproduct of Forcing Extensions & Forcing Extension of Ultraproduct

Notation: $M[{\mathbb{P}}:G]$ denotes the forcing extension of $M$ by $\mathbb{P}$-generic filter $G$. $\prod_{\mathcal{F}}\langle M_i~|~i\in I\rangle$ denotes the ultraproduct of models using the ...
5
votes
2answers
163 views

absorption of strategically closed posets

It is a (folklore?) fact that if $\kappa$ is a regular cardinal, and $\mathbb{P}$ is a $\kappa$-closed poset such that $\Vdash_\mathbb{P} |\mathbb{P}| = \kappa$, then $\mathbb{P}$ is equivalent to ...
7
votes
1answer
149 views

Preservation of ultrafilters by Sacks forcing

It is well-known that, if $p$ is a Ramsey (selective) ultrafilter on $\omega$, then after adding a Sacks real $p$ remains an ultrafilter (well, it's really the upwards closure of $p$ the one that's an ...
10
votes
0answers
171 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 ...
4
votes
1answer
139 views

Absoluteness between $L_\kappa$ and $L$

Working in $L$, suppose $L \models \kappa$ is a cardinal and $(\mathbb{P}, <) \in L_\kappa$. Let $\varphi(x)$ be a $\Sigma_1^1$ formula. Let $\tau \in L_\kappa$ be a $\mathbb{P}$-name for an ...
2
votes
1answer
160 views

Some random questions about forcing

Are there more general forms of forcing, in any of the following senses? 1) The forcing adds new ordinals to $M[G]$. 2) The forcing is developed on a less or more restrictive form of $\mathbb{P}$ ...
4
votes
1answer
172 views

Can a Measureable Cardinal Become the Least Weakly Compact Cardinal in a Forcing Extension?

I am trying to establish whether it is consistent that some property holds at the least weakly compact cardinal. I know that the property holds at measureables. Hence (hoping everything else goes ...
10
votes
1answer
324 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
2answers
587 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}, ...
3
votes
1answer
246 views

What year was Hechler forcing created?

Hechler forcing is described on page 278, Jech. Does anyone know when Hechler forcing was first used in a publication?
10
votes
0answers
246 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 ...
8
votes
2answers
242 views

Forcing with Nontransitive Models

A common approach to forcing is to use countable transitive model $M \in V$ with $\mathbb{P} \in M$ and take a $G \in M$ (which always exists) to form a countable transitive model $M[G]$. Another ...
5
votes
1answer
205 views

$\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me. ...
13
votes
0answers
563 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
2answers
301 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, ...
7
votes
1answer
128 views

On the definition of $\alpha$-proper poset

I am reading Uri Abraham's chapter on Proper Forcing in the Handbook of Set Theory and I have a quite trivial question on the definition of $\alpha$-proper forcing. Since there are many equivalent ...
8
votes
2answers
1k views

Is there a Hotel California of set-theoretic geology?

Is there a universe which can always be forced to, which never can be forced from?
3
votes
1answer
187 views

Adding Generic Reals to Forcing Extensions

I'm following the Jech's Multiple Forcing for a seminar group and I intend to show how to add one or some reals to extensions. I studied Solovay's model and I can see why learning how to add random ...
16
votes
2answers
463 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 ...