Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2407.21562 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Let $R$ be the class of regular cardinals which are not hyperinaccessible. We show that $L[R]$, 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 $L[\mathsf{Reg}]$.