The core model induction beyond L(ℝ): non-tame mouse from PFA

2012/06/13 by Grigor Sargsyan, Sargsyan, Grigor
Computer Science · Mathematics · Physics and Astronomy · #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Noncommutative and Quantum Gravity Theories #Quantum Mechanics and Applications #math.LO

paper · pdf · doi:10.48550/arxiv.1206.2714

arxiv created 2012/06/13 · openalex publication_date 2012/06/13 · arxiv updated 2012/06/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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

Related

• Derived Models in PFA
• Measures in Mice
• Of Mice and Machetes
• Mouse Sets
• Scales in hybrid mice over ℝ