Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory

learn more… | top users | synonyms

9
votes
2answers
392 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 ...
13
votes
1answer
227 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 ...
7
votes
1answer
259 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 ...
6
votes
1answer
63 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 ...
8
votes
0answers
121 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 ...
10
votes
2answers
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}, ...
5
votes
1answer
226 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 ...
5
votes
2answers
169 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 ...
9
votes
1answer
316 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 ...
7
votes
1answer
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 ...
0
votes
0answers
130 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
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 ...
3
votes
1answer
88 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 ...
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
175 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
162 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 ...
4
votes
3answers
330 views

Is every set class generic over a given inner model?

In a paper by B. Mitchell, I stumbled into the following sentence: "In the summer of 1986 Woodin discovered the second of the forcing orders associated with a Woodin cardinal, the extender algebra. ...
4
votes
2answers
178 views

Forcing $\neg AC$

Sorry if this sounds like a silly reference request, but I wasn't able to track down any. I'm looking for proof, via forcing, that axiom of choice can fail in a model of $ZF$. All of papers I found ...
4
votes
1answer
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
1answer
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
0answers
368 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
197 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 ...
8
votes
1answer
225 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
2answers
319 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 ...
13
votes
0answers
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 ...
12
votes
1answer
341 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: ...
5
votes
1answer
321 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 ...
10
votes
1answer
298 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, ...
9
votes
2answers
418 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
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 ...
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 ...
23
votes
2answers
490 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 ...
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 ...
11
votes
3answers
960 views

Forcing over an arbitrary model of ZFC

I’m learning set theory and forcing in the (french) book from Jean-Louis Krivine “Théorie des ensembles”. Given a countable transitive model $\mathscr{M}$ of ZFC together with a poset $P$, he ...
2
votes
1answer
145 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 ...
9
votes
1answer
337 views

The transcendence degree of $\mathbb R$ after adding a Cohen

Let $V\models\sf ZFC$, and let $V[r]$ be a generic extension obtained by adding one Cohen real, or equivalently $\omega$ Cohen reals. It is clear that $\Bbb R^{V[r]}$ and $\Bbb R^V$ have the same ...
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 ...
9
votes
1answer
294 views

Homogeneous Namba-like forcing

Let $\kappa \ge \aleph_3$ be a regular cardinal that is countably closed ($\alpha^\omega < \kappa$ for every $\alpha < \kappa$.) I'm mostly interested in the case that $\kappa$ is strongly ...
10
votes
0answers
168 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
137 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
169 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
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 ...
6
votes
1answer
607 views

Iterated forcing and CH

I need some help with this theorem: if $P_\beta=\langle P_\alpha,\dot{Q}_\alpha:\alpha\leq\beta\rangle$, $\beta<\omega_2$, is a CSI of proper forcings, $P_\alpha\Vdash \lvert ...
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
328 views

Intermediate submodels without Boolean algebras

My question is motivated by the following well-known fact regarding intermediate submodels of generic extensions. I would like to know if it can be proven using posets without the need for Boolean ...
13
votes
1answer
358 views

Random reals and strongly meager sets

Adding a single Cohen real makes the set of reals from the ground model strong measure zero (see this question). The notion of strong measure zero sets has its dual concept in the category branch -- ...