paper

The core model induction beyond : non-tame mouse from PFA

arXiv:1206.2714

Abstract

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

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