Varsovian models II

Abstract: Assume the existence of sufficent large cardinals. Let

M_{m a t h r m s w n}

be the minimal iterable proper class

L [E]

model satisfying "there are

d e l t a_{0} < k a p p a_{0} < l d o t s < d e l t a_{n - 1} < k a p p a_{n - 1}

such that the

d e l t a_{i}

are Woodin cardinals and the

k a p p a_{i}

are strong cardinals". Let

M = M_{m a t h r m s w 2}

. We identify an inner model

m a t h s c r V_{2}^{M}

of

M

, which is a proper class model satisfying "there are 2 Woodin cardinals", and is iterable both in

V

and in

M

, and closed under its own iteration strategy. The construction also yields significant information about the extent to which

M

knows its own iteration strategy. We characterize the universe of

m a t h s c r V_{2}^{M}

as the mantle and the least ground of

M

, and as

m a t h r m {H O D}^{M [G]}

for

G s u b s e t e q m a t h r m C o l l (o m e g a, l a m b d a)

being

M

-generic with

l a m b d a

sufficiently large. These results correspond to facts already known for

M_{m a t h r m s w 1}

, and the proofs are an elaboration of those, but there are substantial new issues and new methods used to handle them.

This page was built for publication: Varsovian models II