Some applications of Supercompact Extender Based Forcings to HOD
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2016
- DOI:
- 10.48550/arXiv.1608.00356
- arXiv:
- arXiv:1608.00356
- Bibcode:
- 2016arXiv160800356G
- Keywords:
-
- Mathematics - Logic;
- 03E35;
- 03E55