Condensation for Mouse Pairs

arXiv2207.03559MaRDI QIDQ6404331FDOQ6404331

Publication date: 7 July 2022

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.

Mathematics Subject Classification ID

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

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)