2007 seminar talk: Easton theorem and large cardinals
Talk held by Radek Honzik (KGRC) at the KGRC seminar on 2007-11-08.
The continuum function F on regular cardinals is known to have great freedom - that is providing we do not mind destroying some large cardinals. If we wish to preserve for instance measurable cardinals and realize F, some restrictions must be put on F (for instance GCH cannot first fail at the given measurable cardinal). We show that if we put some very mild restrictions on F, measurable cardinals will be preserved in some generic extension realizing F.
(This work is joint with Sy D. Friedman)