Regular cardinals in models of