Building Models of Determinacy from Below
Logic
2025-01-23 v2
Abstract
We present an -like construction that produces the minimal model of " is regular". In fact, our construction can produce any model of in which there is no hod mouse with a measurable limit of Woodins.
Cite
@article{arxiv.2409.07156,
title = {Building Models of Determinacy from Below},
author = {Obrad Kasum and Grigor Sargsyan},
journal= {arXiv preprint arXiv:2409.07156},
year = {2025}
}