Derived Models in PFA

MaRDI QIDQ6761866arXivFDO

Authors Derek Levinson, Nam Trang

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

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

arXiv classification

math.LO

This page was built for publication: Derived Models in PFA

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