Buch, Englisch, Band 51, 548 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 971 g
Reihe: Lecture Notes in Logic
Buch, Englisch, Band 51, 548 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 971 g
Reihe: Lecture Notes in Logic
ISBN: 978-1-108-84068-2
Verlag: Cambridge University Press
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.