Forcing is a set theoretic method used mainly for proving independence results. For questions about forcing function please use (differential-equations).

learn more… | top users | synonyms

1
vote
1answer
28 views

Forcing with a “shrinked” poset

Assume, in $V$, that we have some forcing $P$, a $P$-name $\tau$ and some sentence in the forcing language $\varphi(\tau)$ (it may include other names but we focus on $\tau$). Now we take some ...
3
votes
0answers
54 views

A poset oriented proof for the intermediate model theorem.

The intermediate model theorem: If $M\subseteq N\subseteq M[G]$ are all models of $\sf ZFC$, with $G$ generic over $M$, then $N$ is a generic extension of $M$, and $M[G]$ is a generic extension of ...
1
vote
1answer
28 views

Absoluteness of exponential function and forcing

I recall reading that the exponential function $ \alpha^{\beta}$ is absolute for transitive models of ZFC. Is it true that if we have $ 2^{ \alpha } < \beta $ in the ground model $V$, then $( 2^{ ...
2
votes
1answer
81 views

Elementary suborders of Cohen forcing

My question is basically whether being a Cohen poset is a first-order statement within the order itself. More specifically, let $\mathbb{P}$ be an elementary suborder of $\mathrm{Add}(\omega,\lambda)...
4
votes
0answers
66 views

Reference about $\sigma$-linked posets and related notions

In this link, the following list appears: Some chain conditions [of posets], listed from easiest to satisfy to hardest to satisfy: ccc powerfully ccc productively ccc $\sigma$-...
3
votes
1answer
68 views

The Meta-Mathematics of Multiple Forcing

In forcing we have the forcing theorem (also called the truth and definability theorem). It guarantees that forcing works. What are the similar theorems for multiple forcing? To elaborate: Kunen, in ...
1
vote
0answers
101 views

Maximal antichains in a forcing which adds surjections

Let $P$ be a separative partial order such that $\left| P \right| \leq \left| \alpha \right|$ and $$\Vdash_P\exists f(f\colon\omega\to\alpha\text{ is surjective}\land f\notin\check V).$$ I want to ...
3
votes
1answer
63 views

Well-pruned $\kappa$-Suslin trees have the $\kappa$-Baire property

I'm having troubles seeing that a well-pruned $\kappa$-Suslin tree, with $\kappa$ uncountable and regular, has the $\kappa$-Baire property. I saw in Kunen's Set Theory that it can be seen by proving ...
4
votes
1answer
64 views

Show forcing condition compatibility by induction

Say that we have a countable support forcing iteration $ \mathbb{ P}_{ \alpha }$ ( using Jech's definition ) where $ \alpha $ is a limit ordinal, and consider two conditions $ f , g \in \mathbb{ P}_{ ...
1
vote
1answer
27 views

Range of a P-name

I am working on a set theory problem from Kunen's Set Theory book, and it involves knowing $\text{ran}(\tau)$ where $\tau$ is a $\mathbb{P}$-name. The entire section loves to talk about the domain of ...
5
votes
1answer
85 views

Forcing and violation of the $GCH$ at $\aleph_\omega$

In page 295 of Kunen's Set theory the author asserts that if $M$ is a countable transitive model of the axiom of constructibility $V=L$ then no forcing extension of $M$ can satisfy the theory $$ZFC\,\...
1
vote
0answers
59 views

Enlarging the continuum with $\sigma$-centered forcing

How large can we force the continuum to be if we force with a $\sigma$-centered forcing notion? References to texts discussing the subject would be much appreciated. [A forcing notion $P$ is called ...
7
votes
2answers
214 views

Kunen exercise III.8.21

Let $f: \omega_1\to \mathbb{R}$ be one-one. Let $g:[\omega_1]^2\to 2$ be such that for any $\alpha<\beta<\omega_1$, $g(\{\alpha, \beta\})$ is $0$ when $f(\alpha)<f(\beta)$, and $1$ otherwise. ...
2
votes
1answer
42 views

GCH is preserved when forcing with $Fn(\lambda,\kappa)$.

Given a countable transitive model $M$ where $GCH$ holds it is an exercise from Kunen's book to show that GCH also holds in $M[G]$ when $G$ is a $P-$generic filter over $M$, and $P=Fn(\lambda,\kappa)$ ...
2
votes
1answer
47 views

$\kappa$-closed forcing preserves stationary sets.

Let's take an uncountable cardinal $\kappa$ which is regular inside the ground model $M$ and $\mathbb{P}\in M$ a forcing notion which is $\kappa-$closed in $M$. I'm trying to prove that every ...
1
vote
0answers
43 views

Countable Transitive model where $\exists A\subset \omega_1\;(L[A]\vDash\, \neg CH)$

It is well known that for every subset $A\subset \omega_1$ if $V=L[A]$ then $L[A]\vDash GCH$. In particular $L\vDash \exists A\subset \omega_1\,(L[A]\vDash\, GCH)$. Nonetheless, it is also consistent ...
1
vote
1answer
31 views

Preserving weakly inaccesible cardinals in generic extensions

I'm trying to see that every weakly inaccessible cardinal $\kappa$ in a ctm $M$ remains weakly inaccesible if we force with a forcing which preserves cofinalities (thus, preserves cardinalities). It's ...
2
votes
1answer
40 views

Do the notations for relative constructible universe and for forcing extention coincide?

We have the notations $L[A]$ for the inner-model constructible relative to some $A$, and the notation $M[G]$ for a generic extention of the model $M$. Do they coincide? That is, if we look at the ...
0
votes
1answer
72 views

Forcing exercise from Kunen's book

I'm new in the study of the forcing method and I having some troubbles to solve some of the exercise from Kunen's book (edition 2013): specifically, problem IV 2.46 from page 271. It says the ...
4
votes
1answer
92 views

Understanding sets added by a forcing notion

Consider a coloring $c:[\kappa]^2 \to 2$ ($\kappa$ a regular uncountable cardinal, can be assumed to be $\omega_1$ for simplicity) s.t. the following holds: For every $A \subset [\kappa]^{<\...
2
votes
1answer
13 views

Separative forcings add new sets

Let $\mathbb{M} = (M, \in)$ be a class which models ZFC. A forcing $\mathcal{P} = (P, \leq)$ on $M$ (where $P \in M$ and $\mathbb{M} \vDash P \in M$) is separative if for every $r \in P$ there are ...
0
votes
1answer
49 views

Given two forcing extensions, is there a common extension?

Working in ZFC. Say $\mathbb V$ is the ground model, and $\mathbb V[G_1]$ and $\mathbb V[G_2]$ are forcing extensions. Is there a forcing extension $\mathbb V[H]$ containing $\mathbb V[G_1]$ and $\...
1
vote
2answers
54 views

Do the relative consistency results involving the axiom of choice use completeness of FOL?

The proof of the Completeness Theorem for first order logic uses the axiom choice and is a central result in model theory. Chang and Keisler claim that model theory has important applications to set ...
4
votes
1answer
58 views

Equivalence of forcing notions from dense embedding between them

In general I want to prove that $\mathbb{P}=\left(P,\leq\right)$ and $\mathbb{Q}=\left(Q,\leq\right)$ are forcing notions and there is a dense embedding $h:P\longrightarrow Q$ , then $\mathbb{Q\...
5
votes
1answer
73 views

Does forcing preserve the least undefinable ordinal from a model of ZFC?

Let $M$ be a transitive model of ZFC. For convenience let assume that $M$ is countable. Now let us consider the least undefinable ordinal $\vartheta_M$ which is not definable from elements in $M$ and $...
3
votes
1answer
66 views

In what sense does forcing increase the width of a set-theoretic hierarchy?

I've often read that, whereas top extensions increase the height of the cumulative hierarchy, forcing extensions increase its width (see, e.g., the answer to this question where's it's said that ...
6
votes
1answer
95 views

Are two generic filters in a common generic extension?

Let $M$ be a countable transitive set. Suppose $\mathbb{P}$ is a forcing in $M$. Let $G$ and $H$ be two generic filters for $\mathbb{P}$ over $M$. My questions are: Is there a forcing $\mathbb{Q}$ ...
4
votes
0answers
108 views

What is forcing isomorphism? [closed]

This question is from Kunen's set theory book. My questions are: What is the definition of isomorphism between forcing notions? When do we say that two forcing notions $\mathbb{P},\mathbb{Q}$ are ...
1
vote
0answers
73 views

Shelah's materialize vs. realize;note: tags are badly chosen due to the lack of them

Can someone please explain to me in some detail the exact difference between materialize and realize for a Galois type $p$? Esp. is realize a special case for materialize? Why is it so? What is the ...
3
votes
0answers
83 views

Minimal Possible Ordinal for a Cardinal

For a given $\aleph_\alpha$, what is the minimal ordinal possible such that $|\beta| = \aleph_\alpha$? More precisely, assume we have a model $N$ of ZFC. $N$ could be an extension of many different ...
2
votes
1answer
71 views

If $M[G] \subseteq M[H]$ are forcing extensions, why is $M[H]$ a generic extension of $M[G]$?

I know that, wlog, we may assume $G = H \cap A$ for some complete subalgebra $A$ of the complete Boolean algebra $B$ over which $H$ is $M$-generic.
6
votes
1answer
81 views

Question about collapsing cardinals

Suppose, in $M$, $\kappa$ regular, $\lambda>\kappa$ regular. Is there a generic extension of $M$ in which $\kappa^+ = \lambda$ and in which cardinals $\leq \kappa$ and $\geq \lambda$ are preserved? ...
4
votes
3answers
87 views

Is there is a real $r$ and a countable transitive model $M$ such that $r$ is not in any forcing extension of $M$?

It is a theorem that if $M[G]$ is a generic extension $M$, then for every model $N$ of ZFC with $M \subset N \subset M[G]$, $\ N$ is some generic extension of $M$ (and is, in fact, $M[G\cap D]$ for ...
2
votes
1answer
70 views

Definition of the forcing relation in class-forcing

Jech really glosses over class forcing. I cannot find a good reference online. I have two questions about it. 1) Jech says, "As for the forcing relation in general, we cannot generally define $||\...
2
votes
3answers
73 views

Does ZF $\vdash$ Con(ZF) $\rightarrow$ Con(ZF+$\lnot$AC)?

Certainly ZFC $\vdash$ Con(ZF) $\rightarrow$ Con(ZF+$\lnot$AC), but the usual forcing argument to construct a model of ZF+$\lnot$AC seems to require choice to find a generic filter.
8
votes
2answers
127 views

Is there a forcing extension $M[G]$ of $M$ that adds a new $\omega$-sized subset to $\omega_2$ without adding any new subsets of $\omega$?

I should add that the forcing extension must preserve the cardinals $\aleph_1$ and $\aleph_2$. Note that such a forcing extension cannot add any new $\omega$-sized subsets to $\omega_1$, and also ...
7
votes
1answer
184 views

Can all Power Sets be Limit Cardinals?

Is it possible to create a model of ZFC, so that the cardinality of each power set is a limit cardinal (as opposed to GCH where they are always successor cardinals)? Take for example the following ...
11
votes
1answer
217 views

Cardinality of power sets decides all of cardinal arithmetic?

Assuming ZFC, is it possible to have two models which agree on the cardinality of all the power sets, but disagree on the cardinality of some other cardinal exponentiation (meaning that they agree on ...
2
votes
1answer
72 views

What is the intuitive meaning of the notion of absolutness in set theory?

I would love to know what the notion of absolutness in set theoy mean intuitively. I wonder if anyone can provide me a heuristics about it. I know the formal definition and that it corresponds to ...
5
votes
1answer
72 views

Forcing names, parameters in definitions, and the Iterative Conception of Set

So, I've been trying to learn as much as I can about forcing. I know that a model provides its own (trivial) forcing extension. What I'm curious about is whether there is a way to think of the ...
8
votes
1answer
121 views

Do the ZF-provable forcing principles differ from the ZFC-provable forcing principles?

In "The Modal Logic of Forcing", Joel David Hamkins and Benedikt Löwe show that the ZFC-provable forcing principles are exactly those of the modal logic S4.2 (interpreting $\Diamond \phi$ as asserting ...
2
votes
1answer
99 views

Applications of forcing to Topology

I'm insterested on set theory and general topology: particulary on forcing and compactness. I'm searching for a book which study the interaction between both topics or even the interaction between Set-...
4
votes
0answers
57 views

Keeping unwanted generic sets out of limit stage of iterated forcing

My question is about keeping unwanted generic sets from appearing at the first limit stage of an iterated forcing. The usual motivation for this is preserving some property $P$ of ZFC models: $P$ ...
5
votes
1answer
59 views

Cardinals and generic extensions

Let us consider a model of ZFC $M$, a forcing $\mathbb{P}\in M$. If $G$ is a $\mathbb{P}$-generic filter over $M$ we can construct the generic extension $M[G]$ of $M$. Given any cardinal number $\...
0
votes
1answer
57 views

Consistency of the Subcomplete Forcing Axiom (relative to a supercompact cardinal)

In the introduction to his Singapore lecture Jensen mentions that the Subcomplete Forcing Axiom is consistent relative to a supercompact cardinal. Can anyone refer me to a proof of this claim?
8
votes
1answer
152 views

Transitive models and CH

Suppose $M, N$ are two countable transitive models of ZFC which have same ordinals, cofinalities and reals (but not necessarily same sets of reals!). Suppose $M$ models the continuum hypothesis. Can ...
3
votes
1answer
76 views

Elementarily equivalent forcing extension?

Is it possible to take a forcing extension which is elementarily equivalent to the ground model? Here I'm assuming the extension is proper, that is, it adds a new set. It's clear it can't be an ...
0
votes
1answer
115 views

Reflection Principle vs. Löwenheim-Skolem-Theorem

From my undestanding a standard method of deducing relative consistency results is the following: By a combination of the Levy reflection principle, Skolem-Hulls and Mostowski Collapse we show: If $...
1
vote
0answers
46 views

Forcing, $ p \Vdash q \in \dot{G} \Rightarrow p \leq q $

I was wondering if a poset is separative if $ p \Vdash q \in \dot{G} ~~ \Rightarrow p \leq q$ I think it's clear that $ p, q \in G $ and hence are compatible but I am not seeing why ( if it's true )...
0
votes
1answer
64 views

Some questions regarding a theorem of Paul J. Cohen

In his paper "Automorphisms of Set Theory", Paul Cohen proved the following theorem: "There exist models of $ZF$ admitting automorphisms of order two. More exactly, If $M$ is any countable model ...