Of Mice and Machetes

Christopher Henney-Turner, Philip Welch

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 iter…