Varsovian models II

Grigor Sargsyan, Ralf Schindler, Farmer Schlutzenberg

Assume the existence of sufficent large cardinals. Let $M_{\mathrm{sw}n}$ be the minimal iterable proper class $L[E]$ model satisfying "there are ${\delta }_0<{\kappa }_0<\dots <{\delta }_{n-1}<{\kappa }_{n-1}$ s…