Condensation for Mouse Pairs

Publication date 7 July 2022

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Abstract: In this paper, we prove a fine condensation theorem. This is quite similar to condensation theorems for pure extender mice in the literature, except that condensation for iteration strategies has been added to the mix.

This page was built for publication: Condensation for Mouse Pairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6404331)