Condensation for Mouse Pairs
arXiv:2207.03559
Abstract
In this paper, we prove a fine condensation theorem. This is quite similar to condensation theorems for pure extender mice in the literature, except that condensation for iteration strategies has been added to the mix.