4
$\begingroup$

In Theorem 14 of "On The Question Of Absolute Undecidability" Peter Koellner describes a generic absoluteness result which could be summed up as $\Sigma^2_1(\Gamma^\infty)$-generic absoluteness, $\Gamma^\infty$ being the collection of universally Baire sets, and attributes it to Woodin. I was just wondering if anyone can tell me a place in the literature where a proof appears.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
7
$\begingroup$

This is in Steel's paper "The Derived Model Theorem," Section 5.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .