Collapsing the cardinals of $HOD$
Logic
2016-01-15 v1
Abstract
Assuming that holds and is -supercompact, we construct a generic extension of in which remains strongly inaccessible and for every infinite cardinal . In particular the rank-initial segment is a model of ZFC in which for every infinite cardinal .
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}
}