All Questions
433
questions
11
votes
2
answers
1k
views
Am I doing a forcing argument here?
I have an argument of the following form:
Executive Summary:
We have a $\mathbb R$-valued function $L$ which we want to show is $\mathbb Z$-valued. We approximate it by $\mathbb Q$-valued functions $\...
- 62.6k
6
votes
0
answers
124
views
Alternative proofs of the countable chain condition in forcing
Advance warning: This question is more about history and pedagogy than "hard" mathematics.
I am studying Cohen forcing with the forcing poset $(\operatorname{Fin}(E,2),\supseteq,0)$, and I ...
4
votes
1
answer
513
views
How to settle the Generalized Continuum Hypothesis when there are urelements?
Work in $\sf ZFCA$ and permutation models has preceded forcing by several decades. Was it used to settle the question of the Generalized Continuum Hypothesis $\sf GCH$ when urelements are admitted? I ...
- 10.1k
3
votes
0
answers
162
views
Weak extender models for supercompactness without choice
Assume ZFC and a supercompact cardinal $κ$. Is it consistent that there is a weak extender model $N⊨\text{ZF}$ for supercompactness of $κ$ such that the axiom of choice and well-ordering of $P_κ(λ)^N$...
- 6,365
4
votes
0
answers
141
views
Consistency of definability beyond P(Ord) in ZF
Is it consistent with ZF that the satisfaction relation of $L(P(Ord))$ is $Δ^V_2$ definable? More generally, is it consistent with ZF that there is a $Δ^V_2$ formula (taking $α$ as a parameter) that ...
- 6,365
6
votes
0
answers
118
views
From HODs to corresponding models of AD
If $M$ is HOD of a model $N$ of $\text{AD}^+ + V=L(P(ℝ))$, what kind of forcing construction in $M$ gives back such an $N$?
HODs for $\text{AD}^+ + V=L(P(ℝ))$ are conjectured (and under anti-large ...
- 6,365
8
votes
1
answer
198
views
A reference for forcing projections
The idea of a projection $\pi\colon\mathbb{Q}\to\mathbb{P}$ of forcing notions is something like a combinatorial stand-in for the fact that forcing with $\mathbb{Q}$ produces a generic for $\mathbb{P}$...
- 2,319
14
votes
1
answer
594
views
Changing the cofinality of a regular cardinal without collapsing any cardinals?
I have a short but hopefully interesting question on cardinal arithmetic and collapsing cardinals:
Is it possible to change the cofinality of a regular cardinal without collapsing any cardinals?
Is ...
- 297
6
votes
1
answer
287
views
A variation on pinned equivalence relations
Recall (see e.g. Zapletal, Pinned equivalence relations) that a Borel equivalence relation $E$ on $\omega^\omega$ is pinned iff for every forcing $\mathbb{P}$ and every $\mathbb{P}$-name $\nu$ we have ...
- 20.6k
7
votes
2
answers
422
views
On the existence of a real which is not set-generic over $L$
Recall that a real $r$ is set-generic over $L$ if there is a constructible forcing notion $\mathbb{P}$ and some $L$-generic filter $G\subset\mathbb{P}$ such that $r \in L[G]$.
I know that Jensen's ...
- 2,236
8
votes
1
answer
398
views
Precipitous ideal and inner model
Assume $\kappa$ is measurable, $U$ is its unique normal measure, $V=L[U]$. We levy collapse $\kappa$ to make it become $\omega_1$.
If we don't have the inner model condition, then we only know that $\...
- 1,430
5
votes
0
answers
133
views
When does an iteration not add functions $\eta\to V$ at the final stage?
I am interested in better understanding the following property:
Let us say that an iteration of forcings $\langle\mathbb{P}_\alpha,\dot{\mathbb{Q}}_\beta\mid\alpha\leq\gamma,\beta<\gamma\rangle$ is ...
- 1,427
6
votes
1
answer
416
views
A strange product forcing
Given two forcing notions $\mathbb{P}_0,\mathbb{P}_1$, we know that the product $\mathbb{P_0}\times\mathbb{P_1}$ will produce the following diagram of models ordered by inclusion:
where $M$ is the ...
- 2,236
9
votes
1
answer
380
views
Natural set-theoretic principles implying the Ground Axiom
The Ground Axiom states that the set-theoretic universe is not a set-forcing extension of an inner model. By
Reitz, it is first-order expressible and easy to force over any given ZFC model with class-...
- 18k
5
votes
1
answer
149
views
Countable closure of quotient forcing
Let us say that a partial order is "countably closed with infima" if every descending $\omega$-sequence has an infimum.
Suppose $P$ and $Q$ are posets that are countably closed with infima, ...
- 18k