More Derived Models in PFA

MaRDI QIDQ7218613arXivFDO

Authors Derek Levinson, Nam Trang, Trevor M. Wilson

Publication date 2026

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: More Derived Models in PFA

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