A Comparison Process for Mouse Pairs

ISBN-13: 9781108840682 / Angielski / Twarda / 2022 / 548 str.

Berkeley) Steel John R. (University of California

Opis

This book proves important new theorems in the theory of canonical inner models for large cardinal hypotheses in set theory.

Spis treści

1. Introduction; 2. Preliminaries; 3. Background-induced iteration strategies; 4. More mice and iteration trees; 5. Some properties of induced strategies; 6. Normalizing stacks of iteration trees; 7. Strategies that condense and normalize well; 8. Comparing iteration strategies; 9. Fine structure for the least branch hierarchy; 10. Phalanx iteration into a construction; 11. HOD in the derived model of a HOD mouse; References; Index.