Translation procedures in descriptive inner model theory
Logic
2021-10-13 v1
Abstract
We develop a basic translation procedure that translates a hod mouse to an equivalent mouse. Unlike the translation procedure used by Steel and Zhu, our procedure works in a coarse setting without assuming AD. Nevertheless, the procedure resembles the one developed by Steel. We use the translation procedures to answer a question of Trevor Wilson. Namely, we show that if there is a stationary class of lambda such that lambda is a limit of Woodin cardinals and the derived model at lambda satisfies AD the first member of the Solovay sequence is is less than Theta then there is a transitive model M such that M contains the ordinals and satisfies there is a proper class of Woodin cardinals and a strong cardinal.
Cite
@article{arxiv.2110.06091,
title = {Translation procedures in descriptive inner model theory},
author = {Grigor Sargsyan},
journal= {arXiv preprint arXiv:2110.06091},
year = {2021}
}