Questions tagged [forcing]

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

Filter by
Sorted by
Tagged with
7 votes
1 answer
92 views

Is the dominating number of this continuum graph a small cardinal?

Define the relation $\sim$ over $\mathcal C := \{0, 1\}^{\mathbb N}$ given by $(x_n)_n\sim (y_n)_n$ iff $\exists^\infty k: a_{k+i} = b_{k+i},~i=0, 1, \dots, k-1$. What is the least size of a subset $\...
Alma Arjuna's user avatar
  • 2,199
1 vote
0 answers
34 views

Why take separative quotient in forcing?

In many expositions of topics on forcing, the poset is assumed to be separative, otherwise we pass to the separative quotient. For example, this is the convention taken in this introduction to forcing ...
Lxm's user avatar
  • 598
1 vote
1 answer
45 views

An exercise regarding Martin's Axiom

Define $\mathbb{P}$ = {$\left<s,F\right>:s\in\omega^{<\omega}\wedge F\subseteq\omega^\omega\wedge|F|<\aleph_0$}. Define $\left<t,G\right>\leq\left<s,F\right>$ if and only if (1)...
Derewsnanu's user avatar
1 vote
1 answer
49 views

$\Delta$-system Lemma to disprove existence of an uncountable antichain?

I am trying answer a question: Let $\mathbb{P} = \{p \mid p \text{ is a finite function } \omega_2 \times \omega \to 2\}$ ordered by revesre inclusion, i.e. $p<q$ iff $p \supseteq q$. Does $\...
Daria Dunina's user avatar
12 votes
2 answers
1k views

Examples of first-order claims about the reals that are not preserved under forcing

I am looking for an example of a first-order sentence in the signature of the real numbers, $(+,\times, <, 0,1)$, that is true when translated in the language of set theory in the natural way, but ...
Andrew Bacon's user avatar
  • 1,282
5 votes
1 answer
178 views

Ultrafilters used in Boolean-Valued Forcing

I am beginning to read a paper called "Well-Founded Boolean Ultrapowers as Large Cardinal Embeddings" by Joel David Hamkins and Daniel Evan Seabold. In the first section, they review the ...
blark's user avatar
  • 527
7 votes
1 answer
73 views

Why can we not use Cohen forcing to force the continuum to be $\aleph_{\omega}$?

I've gone through the constructions to change add many subsets to different cardinals, and know that Easton's theorem says that the power function can consistently be anything not inconsistent with ...
Moni145's user avatar
  • 2,104
1 vote
0 answers
43 views

Proof that P-Names allow the generation of all sets derivable from G in M[G]

Kunen says about Forcing : The first step is to define M [G]. Roughly, this will be the set of all sets which can be constructed from G by applying set-theoretic processes definable in M. Each element ...
Confusdius's user avatar
1 vote
0 answers
22 views

Explanation of last step in proof of Lemma 4.2 in paper "An Axiomatic Approach to Forcing in a General Setting"

The paper "An Axiomatic Approach to Forcing in a General Setting" by R. Freire and P Holy includes the proof of Lemma 4.2. (Note that in the paper a 'generic filter' means a filter in a ...
Confusdius's user avatar
3 votes
0 answers
70 views

Necessity of Axiom of Choice for unordered pairs of real subsets.

Find a choice function on $\{\{X,Y\} \vert X,Y \in \mathcal{P}(\mathbb{R})\}$ While reading Adrien Douady's book "Algèbre et Théorie Galoisienne", the first chapter focuses on the axiom of ...
Alexis's user avatar
  • 101
3 votes
1 answer
67 views

Linear ordering of reals in Cohen's first model

The presentation of Cohen's first model that I'm most familiar with is to start with a forcing extension by $Add(\omega,\omega)$, consider the group of automorphisms of $Add(\omega,\omega)$ that ...
blark's user avatar
  • 527
4 votes
1 answer
99 views

Forcing to add a $\square_\lambda$-sequence is $\mathrm{<}\lambda^+$-strategically closed

For an uncountable cardinal $\lambda,$ a $\square_\lambda$-sequence is a sequence $(C_\alpha: \alpha\in \lim(\lambda^+))$ such that Each $C_\alpha$ is a club in $\alpha$ with order type $\le \lambda.$...
spaceisdarkgreen's user avatar
0 votes
0 answers
46 views

Homogeneity of Lévy Collapse

I'm reading the section from Jech's Set Theory regarding the Lévy Collapse $Coll(\aleph_0,<\lambda)$. The following is a lemma towards proving the homogeneity of the Lévy Collapse: Here Jech is ...
blark's user avatar
  • 527
1 vote
1 answer
166 views

Questions on Jech's proof of the independence of AC from the ordering principle

In the the book The Axiom of Choice section 5.5, Jech presents a proof of the independence of the axiom of choice from the ordering principle (every set can be linearly ordered). There are some ...
Average-user's user avatar
3 votes
0 answers
89 views

Master Conditions Clarification

I'm having some trouble parsing the following passage from the Handbook of Set Theory: I'm having trouble checking the statement that is "routine to check." My thought is that since $D,\...
blark's user avatar
  • 527
1 vote
0 answers
51 views

Definition of Separately Generic Forcing Extensions

This is a very simple question, but I'm having trouble finding a definition for separately generic forcing extensions. I know that if $G$ and $H$ are mutually $P-$generic over some ground model $M$, ...
blark's user avatar
  • 527
0 votes
1 answer
53 views

Quotient forcing and intermediate model

I previously asked a question about the factor lemma in Jech, and from the comments I realised that there is something earlier that I need to understand. Let $Q$ be some forcing notion in $M$ and let $...
Gito Shalom's user avatar
1 vote
0 answers
81 views

Is Forcing only possible in first-order theories?

I'm trying to understand forcing in set theory. From what I understood it necessary that the Löwenheim-Skolem theorem holds to extend models or to force extensions. So, is forcing only possible in ...
LostArrow's user avatar
2 votes
1 answer
78 views

The Factor Lemma in Levy collapse

I'm following Jech and in page 518 there is the following corollary (26.11): let $G$ be generic for Levy collapse $P$ and $X$ countable set of Ordinals in $M[G]$. Then there exists a $V[X]$-generic $...
Gito Shalom's user avatar
3 votes
0 answers
69 views

In Solovay's proof that generic extension is also generic over any intermediate model, why is transfinite induction required?

I'm trying to understand the proof of Lemma 4.4 in Solovay's famous paper "A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable". The lemma is slightly more complicated, ...
asaelr's user avatar
  • 445
1 vote
0 answers
53 views

Factor lemma for general iterated forcing

I am trying to write down by myself the proof of factor lemma, after staring at the proofs in Jech's textbook and Baumgartner's forcing survey and failed to gain much. It says an iteration forcing $\...
new account's user avatar
2 votes
1 answer
122 views

Foundations of Forcing in Kunen

In Kunen's Set Theory book, forcing is described as a finitistic procedure to get some relative consistency result $Con(ZFC)\Rightarrow Con(T)$, where $T$ is an extension of $ZFC$. Because we can't ...
blark's user avatar
  • 527
0 votes
1 answer
119 views

When forcing, do we always have to have a generic filter on the forcing notion in $V$? What happens if we don't have one?

Suppose we force with a partial order $\mathbb{P}$ which lives in a model of set theory $M$. It's not too hard to show that if $M$ is countable, then there always is a filter $G$ in $V$ which is $\...
Plot4789's user avatar
5 votes
2 answers
152 views

Which forcing axioms may be destroyed through forcings which preserve $2^{\aleph_0}=\aleph_2$?

Assume ZFC; and the forcing axioms are referring to $\mathrm{MA}(\aleph_1)+2^{\aleph_0}=\aleph_2$, PFA, MM, or their variants. I wonder if any of the axioms may be destroyed by forcing. If the forcing ...
sobach'e_pole's user avatar
0 votes
1 answer
63 views

Random forcing does not add Cohen real.

I know that random forcing does not add unbounded reals. Is a Cohen real always unbounded? I can proof that the product of two random forcings adds a Cohen real. How can I show that the two step ...
UserUser's user avatar
  • 229
5 votes
1 answer
134 views

Kunen problem on forcing $(2^{\aleph_0}=\aleph_2)^{\sf HOD}$ and $\sf L= HOD^{HOD}\subsetneq HOD\subsetneq V$

Exercise V.2.11, on p 320 of Kunen's Set Theory (the newer one) states Starting with $\sf V=L$ in the ground model, follow the suggestion of Exercise II.8.12 and obtain a generic extension satisfying ...
spaceisdarkgreen's user avatar
1 vote
1 answer
60 views

Prove that if $c.c.(\mathbb{P}) < \omega$, then every $G$ that is $\mathbb{P}$-generic over $M$ is also in $M$

I'm having trouble with an exercise from Kunen's Introduction to Independence Proofs. This is Exercise F2 from Ch VII. If $\mathbb{P} \in M$ and $c.c.(\mathbb{P}) < \omega$, show that every $G$ ...
JustinP's user avatar
  • 11
0 votes
0 answers
18 views

Coding a new real using a variant of the Baumgartner forcing

I'm working with the following variant of Baumgartner's forcing to add a club subset of $\omega_1$, talked about by Mitchell on page 3 here: https://arxiv.org/pdf/math/0407225.pdf Let $S \subseteq \...
tom90746's user avatar
5 votes
1 answer
239 views

Henkin's Model Existence Theorem and Forcing

Henkin's Model Existence Theorem says that, if $T$ is a consistent theory, then there exists some set $S$ such that $S \models T$. Suppose we are trying to prove the theorem $\text{Con}(ZFC) \...
Gavin Dooley's user avatar
1 vote
1 answer
67 views

A Sacks-like forcing

Given a tree $T\subseteq \omega^{<\omega}$ we call T superperfect if For all $t \in T$ there is an $s\supseteq t$ such that $s^\smallfrown n \in T$ for all $n\in\omega$, where $s^\smallfrown n$ is ...
Lorenzo's user avatar
  • 2,573
4 votes
1 answer
285 views

What is the definition of a Cohen real?

When I study set theory research, I sometimes come across "Cohen reals"(such as Joel David Hamkins' paper). However, I can't have found the definition of Cohen reals. What I know about Cohen ...
categoricalequivalent's user avatar
0 votes
0 answers
59 views

Applications of Cohen reals (obtained by forcing) and maths without Continuum Hypothesis?

At it is well know, the von Neumann universe (or von Neumann hierarchy of sets) $V$ is a class of hereditary well-founded sets which can be used as a model for Zermelo–Fraenkel set theory (ZFC). This ...
user910130's user avatar
2 votes
1 answer
82 views

Can a Suslin tree squared collapse $\aleph_1$?

A standard fact is that if $T$ is a Suslin tree, then $T\times T$ flipped upside down and viewed as a forcing is not ccc. But can it collapse cardinals? At the very least, the answer is not always - ...
user269082's user avatar
1 vote
1 answer
102 views

Is forcing with open intervals on [0, 1] equivalent to Cohen forcing?

When I first tried to understand random forcing (which according to Wikipedia is forcing with $(\operatorname{Bor}(I),\subseteq,I)$, where $I = [0,1]$ and $\operatorname{Bor}(I)$ is the collection of ...
Imperishable Night's user avatar
4 votes
2 answers
173 views

Adding new bijections without adding new subsets by forcing

I found this post very interesting. It shows that, by forcing, any given cardinal $\kappa$ of the ground model can be made countable in a forcing extension by adding a bijection between $\omega$ and $\...
Daniel W.'s user avatar
  • 1,721
0 votes
1 answer
76 views

Strange consistency proof based on countability

Let $\sigma(x)$ be a formula (in one free variable $x$) in the language of set theory such that $\mathsf{ZFC} \models \forall x (x \text{ countable } \Rightarrow \sigma(x))$. (E.g., $\sigma(x) =$ &...
Daniel W.'s user avatar
  • 1,721
1 vote
1 answer
51 views

Prikry sequence is countable

I am reading the chapter on Prikry forcing of Handbook of Set Theory. On page 1353: 1.4 Lemma Let $G\subseteq \mathcal P$ be generic for $\langle \mathcal P, \le \rangle$. Then $\bigcup\{p\mid \...
fantasie's user avatar
  • 1,457
0 votes
1 answer
44 views

Is the Map $i$ a Complete or Dense Embedding from Prikry Silver forcing $\mathbb P\mathbb S$ to Sacksforcing $\mathbb S$?

Is the following map $i$ a complete embedding or a dense embedding from the Prikry-Silver forcing $\mathbb P\mathbb S$ to the Sacks forcing $\mathbb S$? \begin{align} i \colon \mathbb P\mathbb S \to \...
Satoko's user avatar
  • 23
2 votes
1 answer
120 views

Why can’t we use an arbitrary poset/Boolean algebra when doing set-theoretic forcing

I’m trying to read up on the Boolean-algebra approach to forcing, and I’m noticing a confusion that makes me thing I’ve misunderstood something fundamental about the process. Concretely, it seems to ...
Ablation_nation's user avatar
12 votes
0 answers
315 views

Naive way to violate SCH at $\aleph_\omega$

Silver proved that GCH can fail at a measurable cardinal; using Prikry forcing we get the failure of SCH at a singular cardinal of cofinality $\omega$. It seems that to bring that down to $\aleph_\...
new account's user avatar
2 votes
1 answer
64 views

On complete embeddings between forcing notions

I was wondering whether the following two statement are true and why: For any two forcing notions $\mathbb{P,Q}$, if $\ \Vdash_\mathbb{Q} ``$There is a $\check{\mathbb{P}}$-generic filter over $\dot{...
Lorenzo's user avatar
  • 2,573
3 votes
1 answer
105 views

In forcing, is Scott's trick "needed" to prove the axiom schema of replacement for M[G]?

I am studying (unramified) forcing, and am trying to prove the axiom schema of replacement for $M[G]$. To me, the idea seems to be vaguely similar to the proof that forcing with a c.c.c. poset doesn't ...
Imperishable Night's user avatar
0 votes
1 answer
29 views

Preserving powersets and preserving MA

I am reading a proof that seems to imply that if we start with a model of $\mathfrak{c} = \aleph_2 $ and $MA_{\aleph_1} $, and if a forcing preserves $\mathcal{P}(\omega_1)$, that is, it doesn't add ...
Matteo Casarosa's user avatar
10 votes
1 answer
207 views

Collapse $\aleph_{\omega_1}$ to $\aleph_\omega$.

Is there a forcing notion that collapses $\aleph_{\omega_1}$ to $\aleph_\omega$ while preserving every cardinal below $\aleph_\omega$?
user123's user avatar
  • 671
3 votes
1 answer
108 views

Omega-distributivity of the club shooting poset

I'm currently working through Lemma $23.9$ in Jech, which states (more or less) the following: In some ground model $M$, let $S\subseteq \omega_1$ be stationary. Consider the notion of forcing $P_S$ ...
Connor Gordon's user avatar
2 votes
1 answer
118 views

Elementary substructure proof that kappa-cc forcing preserves stationary sets

Suppose $\kappa$ is a regular uncountable cardinal in the ground model $M$, and let $\mathbb P\in M$ be a forcing notion that has the $\kappa$ chain condition in $M$. Further suppose that $S\subseteq \...
Connor Gordon's user avatar
0 votes
0 answers
65 views

Borel codes and forcing

Can someone recommend to me some papers or books to learn about coding Borel sets and its absoluteness between transitive models (specially such generated by forcing)? I was reading a paper about ...
Gödel's user avatar
  • 2,602
0 votes
1 answer
188 views

Is the Forcing Technique an additional independent axiom to ZFC?

Can the Forcing Technique introduced by Cohen be considered to be an axiom or is it a 'technique' with no additional assumptions to ZFC. So does Forcing introduce new objects that are not in V ? The ...
user avatar
5 votes
1 answer
125 views

Poset where no infinite descending chain has a lower bound

Suppose $(\mathbb{P},\leq)$ is a partial order that is (i) separative, i.e. if $x\nleq y$ then $\exists ~z\leq x$ s.t. no $w$ satisfies $w\leq z$ and $w\leq y$ (ii) every strictly descending chain ...
new account's user avatar
1 vote
0 answers
40 views

Intuition behind the definition of "Support" in Forcing

I am reading "Characterization of generic extensions of models of set theory" in https://cmuc.karlin.mff.cuni.cz/pdf/cmuc1703/bukovsky.pdf. Definition 1: For a relation r, let $ r''a \iff $ ...
user avatar

1
2 3 4 5
15