A note on the Revised GCH
Logic
2021-06-11 v1
Abstract
We give a proof of Theorem 2.10 from [8] that eliminates the use of Shelah's nice filters and associated rank functions, and instead uses only the well-foundedness of reduced products of ordinals modulo countably complete filters. This removes any need to make assumptions about the existence of large cardinals in core models.
Cite
@article{arxiv.2106.05369,
title = {A note on the Revised GCH},
author = {Todd Eisworth},
journal= {arXiv preprint arXiv:2106.05369},
year = {2021}
}