论文标题
通过核心模型进行编码
Coding over Core Models
论文作者
论文摘要
在他们的职业生涯的早期,彼得·科普克(Peter Koepke)和菲利普·韦尔奇(Philip Welch)分别为设定理论,核心模型理论和编码的两个重要领域做出了重大贡献。在本文中,我们旨在调查结合这两个主题的一些工作,从而将詹森的原始编码定理从$ l $扩展到目睹大型基地属性的核心模型。
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.