超越 $L(\mathbb{R})$ 的核心模型归纳法：源于 PFA 的非驯顺小鼠
逻辑
2012-06-14 v1
摘要
我们证明 PFA 蕴含存在一个非驯顺小鼠。
引用
@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}
}