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

Published 13 Jun 2012 in math.LO | (1206.2714v1)

Abstract: We show that PFA implies that there is a non-tame mouse.

Authors (1)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.

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