Iterated Ultrapowers for the Masses
arXiv:1702.03487
Abstract
We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.
24 pages plus appendix with solutions to the exercises