Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 59, Number 4 (2018), 599-604.
A Long Pseudo-Comparison of Premice in
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.
Notre Dame J. Formal Logic, Volume 59, Number 4 (2018), 599-604.
Received: 22 October 2015
Accepted: 21 September 2016
First available in Project Euclid: 12 October 2018
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Schlutzenberg, Farmer. A Long Pseudo-Comparison of Premice in $L[x]$. Notre Dame J. Formal Logic 59 (2018), no. 4, 599--604. doi:10.1215/00294527-2018-0012. https://projecteuclid.org/euclid.ndjfl/1539309632