Itay Neeman and John Steel
Abstract:
We show that every
sufficiently iterable countable mouse has
a unique iteration strategy whose
associated iteration maps
are lexicographically
minimal. This enables us to extend the
results of [E. Schimmerling
and J.R. Steel, Fine Structure
for tame inner models, J. of
Symb. Logic vol. 61, pp. 621—639]
on the good behavior of the
standard parameter from tame mice
to arbitrary mice.