Questions tagged [forcing]

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

Filter by
Sorted by
Tagged with
16
votes
1answer
305 views

Topos extensions

In set theory, starting from a model $V$ of $ZFC$, a forcing notion $\mathbb{P}$, and a generic filter $G \subset \mathbb{P}$ over $V$, we can find a generic extension which is a model of $ZFC$ and is ...
6
votes
1answer
194 views

Can we recover an inner model of CH after forgetting some generic information?

Suppose $\kappa$ is an inaccessible cardinal. Let $G \times H$ be $\mathrm{Col}(\omega_1,{<}\kappa) \times \mathrm{Add}(\omega,\kappa)$-generic over $V$. Let $X \subseteq \kappa$ be $\mathrm{Add}(...
5
votes
0answers
165 views

Inner models with all sets generic

Question: Under large cardinal axioms, what is the intersection of all inner models $M$ of ZFC such that every set in $V$ is set-generic over $M$? Every set belongs to a generic extension of HOD, and ...
5
votes
1answer
146 views

Strong chains in $[\omega_2]^{\omega_2}$ mod finite of length $\omega_3$

Probing a bit the difference between $[\omega_1]^{\omega_1}$ and $[\omega_2]^{\omega_2}$ modulo the finite sets: Question Can there exist a family $\langle X_\alpha:\alpha<\omega_3\rangle$ ...
9
votes
0answers
128 views

Strong Chains in $^{\omega_1}\omega_1$ of length $\omega_3$

In a previous question, I asked about the impact of strong chains in $^{\omega_1}\omega_1$ (e.g., sequences of functions $\langle f_\alpha:\alpha<\kappa\rangle$ in $^{\omega_1}\omega_1$ that are ...
4
votes
0answers
121 views

Absoluteness and the scale property for $Π^2_2$ or $Σ^2_2$

Under the diamond principle $◊$ and large cardinal axioms, which of the two pointclasses $Π^2_2$ or $Σ^2_2$ is expected to have the scale property? Because conditional $Σ^2_2$ absoluteness under $◊$ ...
5
votes
1answer
181 views

NCF, P-points, weak P-points, and cardinalities

The post is a bit long, but all the questions are similar or concern the same topic. Let $\omega^*=\beta\omega\setminus\omega$. A well-known topological definition of a P-point (on $\omega$) is as ...
1
vote
1answer
153 views

Are there forcing notions adding $\kappa$ random, sacks, prikry, or Mathias reals?

This is my first question here, so if I am doing things incorrectly, please let me know. Now on to the question: The forcing notion $Fn(\kappa,2)$, which constists of partial functions from $\kappa$ ...
9
votes
0answers
311 views

On the role of $\diamondsuit$

The well-known axiom $\diamondsuit$ states that there is a sequence $\langle A_\alpha:\alpha<\omega_1\rangle$ (a $\diamondsuit$-sequence) of countable sets with the property that for any $A\...
11
votes
0answers
293 views

$\Sigma^2_1$ and the Continuum Hypothesis

This is a follow up to Will Brian's answer to this recent question. In particular, quoting Brian: "In fact, Paul Larson has pointed out to me that the statement "$\phi$ and $\phi^{-1}$ are conjugate"...
11
votes
1answer
613 views

Is $\mathfrak j_{2:1}=\mathfrak{j}_{2:2}$ in ZFC?

A function $f:\omega\to\omega$ is called $\bullet$ 2-to-1 if $|f^{-1}(y)|\le 2$ for any $y\in\omega$; $\bullet$ almost injective if the set $\{y\in \omega:|f^{-1}(y)|>1\}$ is finite. Let us ...
5
votes
1answer
302 views

Calculate the $\downarrow$, $\downarrow\uparrow$ and $\uparrow\downarrow$ cofinalities of the poset of nontrivial finitary partitions of $\omega$

Let $(P,\le)$ be a poset. For a point $x\in P$ let $${\downarrow}x=\{p\in P:p\le x\}\quad\text{and}\quad{\uparrow}x=\{p\in P:x\le p\}$$be the lower and upper sets of the point $x$, and for a subset $...
2
votes
2answers
277 views

Amoeba forcing adds a null set covering all old null sets

I am currently reading a paper by Goldstern, Kellner and Shelah, in which they, pretty nonchalantly, state "Amoeba forcing will add a null set covering all old null sets", without proving this fact or ...
7
votes
1answer
139 views

Bounding and domination numbers for relation $\leq$ modulo $\omega$-nullsets

We say that $A\subseteq \omega$ is a nullset if $$\lim\sup_{n\to \infty} \frac{|A\cap n|}{n+1} = 0.$$ Let $\omega^\omega$ denote the set of functions $f:\omega\to\omega$. We define a pre-ordering ...
6
votes
1answer
227 views

A question on simple $P_{\aleph_2}$-points

This question is motivated by discussion surrounding this MO question. An ultrafilter $U$ on $\omega$ is a simple $P_{\aleph_2}$-point if it is generated by a sequence $\langle X_\alpha:\alpha<\...
3
votes
0answers
107 views

The existence of $T$-ultrafilters in ZFC

Looking at this MO-problem, my collegue Igor Protasov suggested to ask on Mathoverflow his old question on $T$-ultrafilters hoping that somebody on MO can solve it. First I recall the necessary ...
11
votes
1answer
562 views

A new cardinal characteristic (related to partitions)?

In this post I will discuss some cardinal characteristic of the continuum, related to partitions of $\omega$ and would like to know if it is equal to some known cardinal characteristic. By a ...
2
votes
1answer
115 views

Compactifications with remainder $[0,\omega_1]$ and convergent sequences

Is the following statement consistent? $(\star)$ Let $K$ be a separable compact Hausdorff space containing the space $[0,\omega_1]$ so that the complement $K\setminus[0,\omega_1]$ is discrete. Then ...
3
votes
1answer
144 views

Suslin representation of sets and limits to Shoenfield's Absoluteness

For any natural number $k \in \omega$ and any set $X$ the set $$T \subseteq \bigcup_{m \in \omega} (\omega^m)^k \times X^m $$ is a tree on $\omega^k \times X$ iff $$(t_o, \ldots, t_k) \in T \: \...
10
votes
1answer
364 views

Models of ZF intermediate between a model of ZFC and a generic extension

Let $M$ be a countable model of $ZFC$ and $M[G]$ be a (set) generic extension of $M$. Suppose $N$ is a countable model of $ZF$ with $$M\subseteq N \subseteq M[G]$$ and that $N=M(x)$ for some $x\in ...
6
votes
0answers
266 views

How bad a proper forcing of size $\aleph_1$ can be?

This question concerns proper forcings of size $\aleph_1$. In the context of $\rm ZFC+\neg CH$, I couldn't find any counter example to the following property. Suppose $\mathbb P$ is a proper forcing ...
4
votes
1answer
187 views

Forcing square introduces diamond

Let $\mathbb S_\kappa$ be the standard forcing for $\square_\kappa$ by initial segments. This is $(\kappa+1)$-strategically closed. Observation: Let $T \subseteq \kappa^+$ be stationary. If $T$ ...
5
votes
1answer
442 views

Can $H_{\omega_1}$ and $H_{\omega_2}$ be in bi-interpretation synonymy?

This question concerns the possibility of the bi-interpretation synonymy of the structure $\langle H_{\omega_1},\in\rangle$, consisting of the hereditarily countable sets, and the structure $\langle ...
12
votes
0answers
464 views

Gently changing measure

This question was asked and bountied on MSE without answer, so I'm porting it here: There's an easy way to change the measure of a set of reals by moving to a larger universe: simply make $\mathbb{R}$...
9
votes
1answer
551 views

A definable gender problem related to Sacks reals

Let $L$ be the ground model, and $a\in2^\omega$ be a Sacks-generic real over $L$. Note that any real $x\in S=(2^\omega\cap L[a])\setminus L$ is still Sacks-generic over $L$. Now assume that $\mathsf E$...
11
votes
0answers
217 views

Preservation of chain condition under strategically closed forcing

It is well-known that $\kappa$-closed forcing preserves $\kappa$-c.c. posets. The same argument works for $\kappa$-strategically closed forcing. Here is the definition: A poset $\mathbb P$ is $\...
6
votes
1answer
380 views

When does “sufficient genericity” actually suffice?

Fix a forcing notion $\mathbb{P}$. Say that a formula $\varphi(x)$ with parameters is $\mathbb{P}$-enforceable if there is some countable set $\mathcal{D}$ of dense sets in $\mathbb{P}$ such that for ...
1
vote
1answer
117 views

About product of Baire spaces and forcing

Let $\mathbb{P}=\langle P, \leq \rangle$ be a p.o. Two elements $p$ and $q$ of it are called compatible if there is an $r \in \mathbb{P}$ such that $r\leq p$ and $r \leq q$; otherwise they are called ...
5
votes
1answer
212 views

Saturation of non-stationary ideal on $\omega_2$?

It is known that $NS_{\omega_2}$ cannot be saturated (namely there cannot be $\aleph_3$ many stationary subsets of $\omega_2$ any two of which have non-stationary intersection). However, it may be the ...
11
votes
0answers
258 views

On the relationship between Martin's Axiom, the countable chain condition and the Knaster property

This is a repost of a question that went unanswered on MSE We say that a poset $P$ has the Knaster property (or is Knaster) if every uncountable subset of $P$ contains an uncountable subset of ...
4
votes
3answers
685 views

Forcing and new ordinals

$\textbf{Question}$: In expositions to forcing, why do we insist on not adding new ordinals to a countable transitive model $M$ of ZFC? For example, after ruling out transitive proper class models ...
0
votes
2answers
294 views

Why do ordinal collapsing functions use regular cardinals?

Inaccessible cardinals are defined as regular strong limit cardinal, and weakly inaccessible cardinals as regular weak limit cardinal. These cardinals are used by some ordinal collapsing functions. My ...
6
votes
1answer
188 views

Is the category of atomless Boolean algebras with complete embeddings closed under coproducts?

Consider the category whose objects are atomless Boolean algebras (not necessarily complete) and whose arrows are complete embeddings. Does a coproduct exist in this category for any two atomless ...
9
votes
1answer
354 views

Solovay’s model

Solovay proved that if $\kappa$ is inaccessible, then if we adjoin a generic $G \subseteq \mathrm{Col}(\omega,{<}\kappa)$, then in the extension, every set of reals in $L(\mathbb R)$ is Baire- and ...
3
votes
2answers
221 views

How to increase unbounding and dominating numbers for $(\kappa^\lambda,\leq^*)$

Let $\kappa$ be regular and $\lambda\geq\kappa$. For $f, g\in\kappa^\lambda$ say that $f\le^* g$ if the set $\{\gamma<\lambda:f(\gamma)>g(\gamma)\}$ has size less than $\kappa$. Set $\mathfrak{...
5
votes
0answers
240 views

Generic properties of dominating/etc. reals with non-Cohen working parts

The first and foremost forcing that adds a real is the Cohen forcing which approximates a new real number by giving finite approximations to its characteristics function. But very quickly after that, ...
9
votes
1answer
267 views

Effect of adding one Hechler real versus adding two on the meager ideal

In "The Kunen-Miller Chart (Lebesgue Measure, The Baire Property, Laver Reals and Preservation Theorems for Forcing)" by Haim Judah and Saharon Shelah JSL Vol. 55, No. 3 (Sep., 1990), pp. 909-927 ([...
4
votes
0answers
185 views

Forcing absoluteness in the setting of second-order arithmetic

There are some results about (set-size) forcing absoluteness for first-order properties in $L(\mathbb{R})$ and for $\mathbf{\Pi}^1_{\infty}$ properties when one works over $\mathsf{ZFC}$. My question ...
9
votes
2answers
460 views

ZFC applications of Shelah's creature forcing

Shelah's creature forcing is a very powerful method, with wide range of applications. The method also has some applications in ZFC, let's quote a few of them that I am aware of: (1) In A partition ...
8
votes
0answers
190 views

ladder system uniformization at successors of singulars

Shelah proved (paper 667) that if GCH holds and $\lambda$ is singular, then for every stationary $S \subseteq \{ \alpha < \lambda^+ : \text{cf}(\alpha) = \text{cf}(\lambda) \}$, there is a ladder ...
12
votes
1answer
274 views

A simple cardinal characteristic associated with $\omega^\omega$

We can define a very simple cardinal characteristic in the following way. Recall the relation $\leq^*$ on $\omega^\omega$ defined by $x\leq^* y$ iff $x(i)\leq y(i)$ for all but finitely many $i$. For $...
5
votes
1answer
180 views

Examples of independent $\Sigma_4^1$ statements

As in the title, I'm looking for examples of $\Sigma^1_4$ (preferably complete) sentences which are independent from ZFC in both ways, namely given a model $V$ we can extend it to $V'$ where such a ...
19
votes
0answers
798 views

What examples of existence forcing proofs are there?

Forcing proofs tend to be fairly constructive, in the sense that if I claim that there is a forcing that does something, I usually prove this by constructing that forcing. There are only a handful of ...
6
votes
1answer
203 views

Generic saturation of inner models

Say that an inner model $M$ of $V$ is generically saturated if for every forcing notion $\Bbb P\in M$, either there is an $M$-generic for $\Bbb P$ in $V$, or forcing with $\Bbb P$ over $V$ collapses ...
3
votes
1answer
209 views

Proof that Namba Forcing preserves stationary subsets of $\omega_1$

I am looking for a proof (or reference) of the fact that Namba Forcing preserves stationary subsets of $\omega_1$. This fact is stated and used throughout the literature(whenever you google it you'll ...
5
votes
1answer
242 views

Constructing a model of $\mathrm{DCF}_0$ via forcing

As is mentioned in the introduction of this paper of Spodzieja there is a lack of 'natural' examples of differentially closed fields. The immediate naive guesses, namely the field of germs of ...
7
votes
0answers
141 views

Making the precaliber number bigger than all Knaster numbers

Write $\mathfrak m_k$ for the Martin's axiom number for $k$-Knaster, i.e., for the smallest size of a family of dense subsets of some $k$-Knaster poset for which there is no generic filter. (A poset ...
3
votes
1answer
166 views

Radin forcing preserving large cardinals

I'm wondering if there are any known result for the maximum large cardinal strength which can be preserved by Radin forcing? For instance, with any large cardinal hypothesis in the ground model, can ...
5
votes
1answer
225 views

Radin generics from iterated ultrapowers

Let $u$ be a measure sequence derived from some embedding $j:V\rightarrow M$. I heard that from iterating $j$ is possible to define a generic filter for some Radin forcing $\mathbb{R}_w$. Specifically,...
2
votes
1answer
142 views

Semi-rigid boolean algebras

A boolean algebra is rigid if it has no nontrivial automorphisms. Call it semi-rigid if none of its nontrivial automorphisms has any fixed points other than 0 and 1.* The four-element algebra $\{0, b, ...

1
2 3 4 5
14