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…