Coding into inner models at the level of strong cardinals

MaRDI QIDQ5261545zbMATH OpenFDO

Authors Marios Koulakis

Publication date 3 July 2015

zbMATH Keywords

absolutenessalmost disjoint codingcore modelstrong cardinalsstationary preserving forcing

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• scientific article; zbMATH DE number 1302486
• The consistency strength of projective absoluteness
• Coding into 𝐾 by reasonable forcing
• Proper forcing extensions and Solovay models
• scientific article; zbMATH DE number 1450237

Cited in

(1)

• Coding over a measurable cardinal

This page was built for publication: Coding into inner models at the level of strong cardinals

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