The core model induction beyond L(\mathbb{R}): non-tame mouse from PFA

arXiv1206.2714MaRDI QIDQ6233652FDOQ6233652

Authors: Grigor Sargsyan 

Publication date: 13 June 2012

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)