The core model induction beyond L(\mathbb{R}): non-tame mouse from PFA
From MaRDI portal
Publication:6233652
Abstract: We show that PFA implies that there is a non-tame mouse.
This page was built for publication: The core model induction beyond $L(\mathbb{R})$: non-tame mouse from PFA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6233652)
