Generic I0 at $\aleph_\omega$
Logic
2017-12-19 v3
Abstract
In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that is such a generic large cardinal. In this case is J\'{o}nsson, and in a choiceless inner model many properties hold that are in contrast with PCF in ZFC.
Cite
@article{arxiv.1609.07970,
title = {Generic I0 at $\aleph_\omega$},
author = {Vincenzo Dimonte},
journal= {arXiv preprint arXiv:1609.07970},
year = {2017}
}