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

arxiv: 1206.2714 · v1 · pith:IXRHRFJUnew · submitted 2012-06-13 · 🧮 math.LO

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

Grigor Sargsyan This is my paper

classification 🧮 math.LO

keywords mousenon-tamebeyondcoreimpliesinductionmathbbmodel

0 comments

read the original abstract

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

This paper has not been read by Pith yet.