Patterns of Structural Reflection in the large-cardinal hierarchy

arXiv2210.07120MaRDI QIDQ6413847

Philipp Lücke, Joan Bagaria

Publication date: 13 October 2022

Mathematics Subject Classification ID

03E55: Large cardinals

03C55: Set-theoretic model theory

03E47: Other notions of set-theoretic definability

18A15: Foundations, relations to logic and deductive systems