Of Mice and Machetes
Christopher Henney-Turner, Philip Welch

TL;DR
This paper explores the construction of certain inner models using iterated mice and Prikry forcings, revealing their relationship to models built from regular cardinals and hyperclass iterations.
Contribution
It demonstrates that models like $L[R]$ can be generated by iterating a small 'machete' mouse and applying hyperclass Magidor iterations, connecting mice with inner models based on regular cardinals.
Findings
Inner models $L[R]$ can be constructed via small mice and Prikry forcings.
Simple mice are elements of $L[Reg]$, linking mice to models built from regular cardinals.
The approach unifies mice construction with inner model theory involving hyperinaccessible cardinals.
Abstract
Let be the class of regular cardinals which are not hyperinaccessible. We show that , and similar inner models in the -inaccessible hierarchy, can be generated by iterating a small "machete" mouse up through all the ordinals, and then taking a generic extension by a hyperclass Magidor iteration of Prikry forcings. We then show that such simple mice are themselves elements of .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Homotopy and Cohomology in Algebraic Topology · Advanced Operator Algebra Research
