TY  - RPRT
TI  - The core model induction beyond $L(\mathbb{R})$: non-tame mouse from PFA
AU  - Grigor Sargsyan
PY  - 2012
UR  - https://arxiv.org/abs/1206.2714
ID  - 1206.2714
ER  -