We show: The procedure mentioned in the title is often impossible. It requires at least an inner model with a measurable cardinal. The consistency strength of changing b and σ from a regular κ to some regular δ < κ is a measurable of Mitchell order δ. There is an application to Cichon's diagram.
展开▼