On a Conjecture Regarding the Mouse Order for Weasels

arXiv2207.06136MaRDI QIDQ6404835FDOQ6404835

Authors: Jan Kruschewski, Farmer Schlutzenberg 

Publication date: 13 July 2022

Abstract: We investigate Steel's conjecture in 'The Core Model Iterability Problem', that if $W$ and $R$ are $Omega+1$-iterable, $1$-small weasels, then $Wle{q}^{*}R$ iff there is a club $CsubsetOmega$ such that for all $alphainC$, if $alpha$ is regular, then the cardinal successor of $alpha$ in $W$ is less or equal than the cardinal successor of $alpha$ in $R$ . We will show that the conjecture fails, assuming that there is an iterable premouse which models $KP$ and which has a $Sigm{a}_1$-Woodin cardinal. On the other hand, we show that assuming there is no transitive model of $KP$ with a Woodin cardinal the conjecture holds. In the course of this we will also show that if $M$ is an iterable admissible premouse with a largest, regular, uncountable cardinal $delta$, and $mathbbP$ is a forcing poset with the $delta$-c.c. in $M$, and $g$ is $M$-generic, but not necessarily $Sigm{a}_1$-generic, $M[g]$ is a model of $KP$. Moreover, if $M$ is such a mouse and $T$ is maximal normal iteration tree on $M$ such that $T$ is non-dropping on its main branch, then $M_{infty}^T$ is again an iterable admissible premouse with a largest regular and uncountable cardinal. At last we answer another open question from 'The Core Model Iterability Problem' regarding the S-hull property.

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

This page was built for publication: On a Conjecture Regarding the Mouse Order for Weasels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6404835)