A long pseudo-comparison of premice in $L[x]$

Abstract

We describe an obstacle to the analysis of ${\mathrm{HOD}}^{L[x]}$ as a core model: Assuming sufficient large cardinals, for a Turing cone of reals $x$ there are premice $M,N$ in ${\mathrm{HC}}^{L[x]}$ such that the pseudo-comparison of $L[M]$ with $L[N]$ succeeds, is computed in $L[x]$, and lasts through ${\omega }_1^{L[x]}$ stages. Moreover, we can take $M=M_1|({\delta }^{+}{)}^{M_1}$ where $M_1$ is the minimal iterable proper class inner model with a Woodin cardinal, and $\delta$ is that Woodin. We can take $N$ such that $L[N]$ is $M_1$-like and short-tree-iterable.

arXiv comment6 pages. Submitted. This version reduces a claim from version 1, regarding the absoluteness of short-tree-iterability