Coding over Core Models
Autor: | Sy-David Friedman, David Schrittesser, Ralf Schindler |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | David Schrittesser |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |