2 papers
math.LO2022
Full normalization for mouse pairs
Benjamin Siskind, John Steel
We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration st…
math.LO2022
Condensation for Mouse Pairs
John Steel, Nam Trang
In this paper, we prove a fine condensation theorem. This is quite similar to condensation theorems for pure extender mice in the literature, except that condensation for iteration…