Abstract
A significant open problem in inner model theory is the analysis of as a strategy premouse, for a Turing cone of reals . We describe here an obstacle to such an analysis. Assuming sufficient large cardinals, for a Turing cone of reals there are proper class -small premice , with Woodin cardinals , respectively, such that and are in , and are countable in , and the pseudo-comparison of with succeeds, is in , and lasts exactly stages. Moreover, we can take , the minimal iterable proper class inner model with a Woodin cardinal, and take to be -like and short-tree-iterable.
Citation
Farmer Schlutzenberg. "A Long Pseudo-Comparison of Premice in ." Notre Dame J. Formal Logic 59 (4) 599 - 604, 2018. https://doi.org/10.1215/00294527-2018-0012
Information