Some applications of Supercompact Extender Based Forcings to HOD
Moti GitikCarmi Merimovich
所有作者
Moti GitikCarmi Merimovich
文献摘要
Supercompact extender based forcings are used to construct models with HOD
cardinal structure different from those of V. In particular, a model with all
regular uncountable cardinals measurable in HOD is constructed.