Coding over Core Models

arXiv2209.08696MaRDI QIDQ6411146

David Schrittesser, Ralf-Dieter Schindler, Sy-David Friedman

Publication date: 18 September 2022

Mathematics Subject Classification ID

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

This page was built for publication: Coding over Core Models