The core model induction beyond $L(\mathbb{R})$: non-tame mouse from PFA
Logic
2012-06-14 v1
Abstract
We show that PFA implies that there is a non-tame mouse.
Cite
@article{arxiv.1206.2714,
title = {The core model induction beyond $L(\mathbb{R})$: non-tame mouse from PFA},
author = {Grigor Sargsyan},
journal= {arXiv preprint arXiv:1206.2714},
year = {2012}
}