Coding over Core Models

MaRDI QIDQ6411146arXivFDO

Authors Sy-David Friedman, Ralf Schindler, David Schrittesser

Publication date 18 September 2022

Published in arXiv

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

arXiv classification

math.LO

Abstract: Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this article we aim to survey some of the work that has been done which combines these two themes, extending Jensen's original Coding Theorem from $L$ to core models witnessing large cardinal properties.

This page was built for publication: Coding over Core Models

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