Of Mice and Machetes
| Autor: | Henney-Turner, Christopher, Welch, Philip |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | Let $R$ be the class of regular cardinals which are not hyperinaccessible. We show that $L[R]$, and similar inner models in the $\alpha$-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 $L[\mathsf{Reg}]$. Comment: 21 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|