Coding over Core Models
Logic
2022-09-20 v1
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 to core models witnessing large cardinal properties.
Cite
@article{arxiv.2209.08696,
title = {Coding over Core Models},
author = {Sy David Friedman and Ralf Schindler and David Schrittesser},
journal= {arXiv preprint arXiv:2209.08696},
year = {2022}
}