Tagged Questions

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
0answers
386 views

Existence of a regular subposet which collapses everything except the top cardinal

Suppose $\delta$ is an inaccessible cardinal, and $\mathbb{P}$ is the Levy Collapse $\text{Col}(\kappa, \delta)$ which adds a surjection from $\kappa \to \delta$ (for some regular $\kappa < ...
3
votes
1answer
233 views

Trivial forcings which are not very trivial

Suppose that $M$ is a model of $\sf ZFC$, and we add some generic set $G$. Then it is not hard to see that for every $x\in M[G]$ it holds $M\subseteq M[x]\subseteq M[G]$. Given $x\in M[G]$ such that ...
6
votes
3answers
294 views

Class forcing: Pelletier vs Friedman

[Apologies in advance for a fluffy question] I'm reading this old paper by Pelletier, where he gives a Boolean-valued model version of class forcing, assuming that the Boolean algebra in question can ...
4
votes
1answer
131 views

Amalgamation of two ccc algebras may collapse the continuum

The claim that appears in the title of this question is mentioned in the paper "On Shelah's amalgamation" by Judah and Roslanowski. I'd really like to see a proof of this fact, but unfortunately I ...
7
votes
1answer
369 views

collapsing successor of singular

Let $\lambda$ be a singular cardinal. Is it consistent that there is a forcing of size $\lambda^+$ that collapses $\lambda^+$ while preserving all cardinals below $\lambda$? (Note that even without ...
5
votes
1answer
236 views

Question about Shelah's version of “Shooting a club” found in PIF

Suppose $S \subset \omega_{1}$ is stationary co-stationary. Then there is a forcing notion $P_{S}$ which shoots a closed unbounded $C \subset S$ without collapsing cardinals (or changing ...
10
votes
1answer
421 views

Forcing mildly over a worldly cardinal.

A cardinal $\theta$ is worldly if $V_{\theta}$ is a model of ZFC. We could force to collapse $\theta$ to a successor cardinal, for example, and destroy the worldliness of $\theta$, but is there a ...
4
votes
1answer
164 views

Which $\omega_1$-trees are proper?

Consider a tree $(T, <_T)$ of height $\omega_1$, with countable levels. One can view $T$ as a forcing poset by calling a condition $s\in T$ stronger than $t\in T$ if $t <_T s$. My question is: ...
4
votes
1answer
256 views

Examples of stationary set preserving forcings that are not semiproper?

A notion of forcing $P$ is called stationary set preserving iff each stationary subset of $\omega_1$ remains stationary in $V^P$. It is standard to show that semiproper (and of course proper) notions ...
4
votes
1answer
154 views

Hereditarily Countable Names and Proper Forcing

The 'hereditarily countable names' are as defined in Shelah's Proper and Improper Forcing, Chapter 3 Definition 4.1. Let $\mathbb{P}$ be a proper forcing notion and $\dot{Q}$ a $\mathbb{P}$-name such ...
9
votes
2answers
344 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 ...
8
votes
1answer
472 views

Forcing Diamond

It is well known that adding a subset of a regular cardinal $\kappa$ with partial functions of size $< \kappa$ forces $\Diamond_\kappa$. One can also see that if $S \in V$ is a stationary subset ...
4
votes
1answer
257 views

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

Is anything known about the consistency strength of the following statement? $\kappa$ is a Mahlo cardinal and there is a stationary set of $a \in \mathcal{P}_\kappa(\kappa^+)$ such that $a \cap ...
1
vote
0answers
157 views

What are the enforceable models of local artinian rings?

I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem ...
21
votes
2answers
2k views

Similarities between Post's Problem and Cohen's Forcing

Remark: I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated ...
13
votes
1answer
360 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 -- ...
5
votes
2answers
310 views

Set forcing and ultrapowers

The following is a result of Woodin (the proof is found after Theorem 5 of "Generalizations of the Kunen Inconsistency" by J.D.Hamkins, G.Kirmayer and N.L.Perlmutter): (Woodin) Let $V[G]$ be a ...
7
votes
2answers
433 views

subalgebra of a simple forcing

Let $\alpha > 0$ be any ordinal. Consider the forcing $Add(\omega,\alpha) * Add(\omega_1,1)$. Let $B$ be its boolean completion. Let $\dot{X}$ be the canonical $B$-name for the generic subset of ...
9
votes
1answer
504 views

Resembling the Levy Collapse

Suppose $\kappa$ is a weakly compact cardinal. Is there a $\kappa$-c.c. forcing $\mathbb{P}$ such that $\mathbb{P} \subseteq V_\kappa$ and $\Vdash_{\mathbb{P}} \kappa = \aleph_1$, where $\mathbb{P}$ ...
11
votes
1answer
456 views

Can a model of set theory be realized as a Cohen-subset forcing extension in two different ways, with different grounds and different cardinals?

The question is whether, when you add a Cohen subset to a cardinal $\kappa$, that cardinal becomes a characteristic of the resulting forcing extension $V[G]$. Or can there be strange instances in ...
9
votes
1answer
305 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 ...
8
votes
0answers
268 views

Forcing to “minimally” add new reals.

Suppose that I want to force to add a "single" new subset of $\omega$ and not much else. For example, consider the Cohen forcing consisting of finite partial functions from $\omega$ to 2. The forcing ...
3
votes
1answer
213 views

The canonical forcing of the GCH and direct limits.

The motivation for this question is that I am working through an exercise to force the GCH (generalized continuum hypothesis) over a model of ZFC and obtain a model of ZFC where GCH holds. The ...
10
votes
1answer
1k views

Forcing in Homotopy Type Theory

I apologize if this question doesn't make any sense. I'll just go ahead and delete it if that's the case. But the question is just the title. Is there a notion of forcing in homotopy type theory? ...
14
votes
1answer
457 views

Is every class that does not add sets necessarily added by forcing?

We know there are many situations in which we can force over a model $M$ of GBC to add a class $G$ without adding any sets. That is, the extension $M[G]$ satisfies GBC and has the same sets as $M$. ...
5
votes
1answer
205 views

Forcing over the poset of nonempty open subsets of a nice topological space

Is there anything sensible to be said concerning a notion of forcing given by the poset of nonempty open subsets of the sort of topological space that comes up in ($e.g.$ algebraic) topology? If so, ...
5
votes
1answer
244 views

How to find a sub-forcing?

Suppose that $M$ is a model of ZFC, $P\in M$ is a notion of forcing and $G$ is a $P$-generic filter over $M$. It is a well-known theorem that if $M\subseteq N\subseteq M[G]$, and $N$ is a model of ...
6
votes
2answers
363 views

From the product lemma to to a result about powersets

Recall the product lemma from Easton's famous paper, which tells us something about when we have a forcing notion (which may be a proper class) that splits as a product with one factor $\lambda^+$-cc ...
3
votes
1answer
263 views

Can we weaken GCH in this class forcing?

I've just stumbled across the following theorem (here): Theorem Let $P$ be a partial class order in $M$, a transitive model of ZF (resp. ZFC). Suppose for arbitrarily large cardinals $\kappa$ we have ...
2
votes
0answers
210 views

Can we prove the completeness of FOL based on forcing?

I asked this question at http://math.stackexchange.com but I didn't get any answer there. In David Marker's Model Theory, there is a exercise said " we can view a countable Henkin construction as a ...
11
votes
1answer
591 views

I'll admit it: I don't understand the definition of the Easton product.

I'm teaching myself bits and pieces of forcing at the moment, for the purposes of translating them into sheaf-theoretic versions. I'm trying to write down what I feel is a cleaner description of the ...
5
votes
2answers
349 views

Suslin algebras

A Suslin algebra is a generalization of a Suslin tree: it is a ccc, $(\omega,\infty)$-distributive boolean algebra. Jech proved that every Suslin algebra has size at most $2^{\omega_1}$. A proof is ...
6
votes
3answers
354 views

Why does the Solovay-Tennenbaum theorem work?

I have decided to learn iterations at long last, and I am reading through Jech's Set Theory for now. The standard example after explaining what is an iteration with finite support is the following ...
5
votes
2answers
282 views

Forcing with product vs. box product

If we want to add one real number the simplest way to do it is to use Cohen forcing. The poset is $\lbrace p\colon n\to 2\mid n\in\omega\rbrace$ which is a countable set. We can think of this as ...
7
votes
1answer
242 views

Which of these relations on partial orders allows us to identify forcing equivalence?

Background This question was inspired by Justin Palumbo's excellent question Cantor Bernstein for notions of forcing. In his question, Justin considers a relation $\lhd$ on partial orders (defined ...
5
votes
1answer
199 views

Infinite products of forcings

Suppose $M \subseteq N$ are models of ZFC such that $(ORD^\omega)^M = (ORD^\omega)^N$. Let $\langle P_n : n \in \omega \rangle$ be a sequence of countably closed partial orders in $M$, and let ...
7
votes
1answer
226 views

Properness of quotient forcing

It is well known that if $P$ is a proper notion of forcing and $\Vdash_P \dot{Q} \text{ is proper}$ then the iteration $P \ast \dot{Q}$ is proper. Is the converse also true, i.e Suppose that we have ...
5
votes
1answer
186 views

On intermediate transitive models for ZFC between M an M[G]

Let $P$ be a forcing notion. Let $B(P)$ be the boolean completion of $P$ and $i : P \rightarrow B(P)$ be the corresponding dense embedding (in $B(P)^{+}$). Let $G$ be $B(P)$-generic over $M$, the ...
5
votes
1answer
335 views

What goes wrong in Easton forcing if we don't just use regular cardinals?

Recall that Easton forcing was introduced to show that the continuum function at regular cardinals could be anything subject to 'the obvious constraints' (monotonicity etc). However, it is a handy ...
5
votes
2answers
926 views

Can Assumptions about forcing produce Mice? [closed]

This is going to take some build up to completely describe what is a very strange question I seem to have walked into by accident: For every partial order $\mathbb{P}$ and regular cardinal $\lambda ...
5
votes
3answers
404 views

Proper class forcing vs forcing with a set of conditions bigger than one's model

This seems like a natural question to ask, but I've not seen it discussed in my reading around (limited to Easton's paper, the third edition of Jech's Set theory and a small handful of articles). What ...
11
votes
1answer
244 views

Which forcings preserve (some) determinacy?

The question is exactly as in the title. I'm interested in general in all questions of the form "which forcings preserve property P?" for any P, but determinacy assumptions occupy a special place in ...
11
votes
1answer
414 views

Generic Extensions and $L(V_{\lambda+1})$

Suppose $\lambda$ is a strong limit cardinal of cofinality $\omega$ and for $A$ a transitive set, define $L(A)$ in the usual fashion by setting $$L_0(A)=A;$$ $$L_{\alpha+1}(A) = L_\alpha (A)\cup ...
8
votes
2answers
283 views

large ccc forcing that preserves CH

Can you name a ccc forcing with the following properties? 1) Atomless and separative 2) The least size of a dense set is large, say at least $\aleph_3$, hopefully as big as you like. 3) Existence ...
6
votes
1answer
188 views

Characterization of $\kappa$-closed forcings

For the notion of distributivity of forcings, we have equivalent defintions, one combintorial, the other in terms of what the generic extensions look like. For a partial order $\mathbb{P}$, the ...
6
votes
1answer
443 views

Reals added after Cohen forcing II

This is related to my previous question "Reals added after Cohen forcing" Reals added after Cohen forcing The fact is that what I had in mind by $\lambda-$many Cohen reals was different from what was ...
6
votes
2answers
346 views

Solovay's paper from AD+ that all sets are Ramsey

For my research I've been trying to locate Solovay's proof that AD+ implies that all sets are Ramsey (or completely Ramsey, depending on the terminology). I know that it uses Mathias forcing but I ...
5
votes
1answer
335 views

Forcing in Ackermann's Set Theory

How would one do forcing in Ackermann's set theory? C. Alkor published an article entitled "Forcing in Ackermanns Mengenlehre" (Zeitshcr. f. math. Logik und Grundlagen d. Math., Bd. 25,8.265-286 ...
4
votes
2answers
218 views

Equivalence of forcing automorphisms

Suppose that $P$ is a forcing poset in $V$. If $\pi$ is an automorphism of $P$ then $\pi$ extends to automorphisms of the names by induction: $$\pi\dot x = \lbrace(\pi p,\pi\dot y)\mid (p,\dot ...
8
votes
1answer
366 views

Can $\omega_1$ be supercompact?

Is "ZF + $\omega_1$ is supercompact" consistent relative to "ZFC + there is a supercompact cardinal"? In particular, if $\delta$ is supercompact, does it remain so in $V(\mathbb{R} \cap V[G])$ where ...