Abstract
A significant open problem in inner model theory is the analysis of HODL[x] as a strategy premouse, for a Turing cone of reals x. We describe here an obstacle to such an analysis. Assuming sufficient large cardinals, for a Turing cone of reals x there are proper class 1-small premice M,N, with Woodin cardinals δ,ε, respectively, such that M|δ and N|ε are in L[x], M and N are countable in L[x], and the pseudo-comparison of M with N succeeds, is in L[x], and lasts exactly ω1L[x] stages. Moreover, we can take M=M1, the minimal iterable proper class inner model with a Woodin cardinal, and take N to be M1-like and short-tree-iterable.