New inner models from second order logics

MaRDI QIDQ7190358arXivFDO

Authors Menachem Magidor, Jouko Väänänen

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

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

arXiv classification

math.LO

This page was built for publication: New inner models from second order logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7190358)