Non-tame mouse from the failure of square at a singular strong limit cardinal ∗ †

@inproceedings{Sargsyan2014NontameMF,
title={Non-tame mouse from the failure of square at a singular strong limit cardinal ∗ †},
author={Grigor Sargsyan},
year={2014}
}

Building on the work of Schimmerling ([8]) and Steel ([14]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. The proof presented is the first inductive step beyond L(R) of the core model induction that is aimed at getting a model of ADR + “Θ is regular” from the failure of square at a singular strong limit cardinal or PFA. One of the holly grails of inner model program has been to determine the exact consistency strength… CONTINUE READING