
A Comparison Process for Mouse Pairs
9781108840682 Lecture Notes in Logic Innbundet
24.11.2022
Engelsk
Produseres på bestilling

Steel, John R. Mitchell, William J.
Lecture Notes in Logic
|
Innbundet
Leveringstid: 2-4 uker
Omtale
Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the theory of iteration trees. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders.