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 $δ_0<κ_0<\ldots<δ_{n-1}<κ_{n-1…