Inner Models from Extended Logics: Part 2

zbMatharXiv:2007.10766MaRDI QIDQ6504019

Menachem Magidor, Juliette Kennedy, Jouko Väänänen

Publication date: 1 January 1

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

This page was built for publication: Inner Models from Extended Logics: Part 2