Dear Sy,
Thanks, that helps. But just to be clear, does imply the following statement?
If holds of
in a #-generated outer model of V which preserves
then
holds of
in an inner model of V.
The reason I ask is that for , the analogous statement (deleting #-generated) holds and is implied by
.
Regards,
Hugh