English

Collapsing the cardinals of $HOD$

Logic 2016-01-15 v1

Abstract

Assuming that GCHGCH holds and κ\kappa is κ+3\kappa^{+3}-supercompact, we construct a generic extension WW of VV in which κ\kappa remains strongly inaccessible and (α+)HOD<α+(\alpha^+)^{HOD} < \alpha^+ for every infinite cardinal α<κ\alpha < \kappa. In particular the rank-initial segment WκW_\kappa is a model of ZFC in which (α+)HOD<α+(\alpha^+)^{HOD} < \alpha^+ for every infinite cardinal α\alpha.

Keywords

Cite

@article{arxiv.1601.03482,
  title  = {Collapsing the cardinals of $HOD$},
  author = {James Cummings and Sy David Friedman and Mohammad Golshani},
  journal= {arXiv preprint arXiv:1601.03482},
  year   = {2016}
}