Inner models in the region of a Woodin limit of Woodin cardinals


Itay Neeman





We extend the construction of Mitchell and Steel (Fine Structure

and Iteration Trees, Lecture Notes in Logic, vol. 3, Springer,

Berlin, 1994) to produce iterable fine structure models which

may contain Woodin limit of Woodin cardinals, and more. The

precise level reached is that of a cardinal which is both Woodin

and a limit of cardinals strong past it.