Given a stationary subset T of omega (1), let (T) over tilde be the set of
ordinals in the interval (omega (1) omega (2)) which are necessarily in the
image of T by any embedding derived from the nonstationary ideal. We consi
der the question of the size of (T) over tilde, given T, and use Martin's M
aximum and P-max to give some answers.