9
votes
0answers
361 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 < ...
7
votes
2answers
422 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 ...
5
votes
2answers
343 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 ...
4
votes
1answer
142 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 ...
3
votes
2answers
321 views

The category of Boolean-valued models associated to a model of ZFC

This is related to my previous question here, and indirectly motivated by Andreas Blass intriguing answer therein: start from a ZF transitive model $M$, and consider the category $CBA(M)$ of ...