Full normalization for mouse pairs
From MaRDI portal
Abstract: 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 strategies parallel to the one for ordinary iteration strategies, and use it to show that the iteration strategy component of a mouse pair condenses to itself under weak tree embeddings. These constitute a class of embeddings between iteration trees that is significantly larger than the class of embeddings mentioned in the definition of mouse pair. We then use this very strong hull condensation property of mouse pairs to show that every iterate of a mouse pair is an iterate via a single -tight, normal iteration tree, and that the associated tail strategies are independent of how the iterate was reached.
This page was built for publication: Full normalization for mouse pairs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405749)
