8
$\begingroup$

It was mentioned in a talk that Bukovsky proved the following are equivalent for inner models $M \subseteq V$:

(1) There is a partial order $\mathbb P \in M$ and a $\mathbb P$-generic filter $G \in V$ over $M$ such that $V = M[G]$.

(2) There is a cardinal $\kappa$ such that for every ordinal $\alpha$ and every function $f : \alpha \to \mathrm{Ord}$ in $V$, there is $F : \alpha \to [\mathrm{Ord}]^{<\kappa}$ in $M$ such that $(\forall \beta < \alpha) f(\beta) \in F(\beta)$.

Is this written up somewhere? If not, can you prove it? (Obviously (2) $\rightarrow$ (1) is the hard part.)

$\endgroup$
1
  • $\begingroup$ Was the talk titled "Trees on $\omega_1$ and $\omega_2$"? :-) $\endgroup$
    – Asaf Karagila
    Apr 13, 2016 at 16:48

1 Answer 1

4
$\begingroup$

The original paper is ``Characterization of generic extensions of models of set theory''

A proof can be found in the master thesis of Giorgio Audrito, "Characterizations of set generic extensions", which is available at Viale's home page here.

Also the paper ''On the set-generic multivers'' by Friedman-Fuchino-Sakai gives a proof. See Friedman's home page.

I may mention that $\kappa$ can be chosen to be the cardinal for which the forcing notion is $\kappa$-c.c.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.