Iterated Ultrapowers for the Masses
Logic
2017-08-01 v2
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.
Keywords
Cite
@article{arxiv.1702.03487,
title = {Iterated Ultrapowers for the Masses},
author = {Ali Enayat and Matt Kaufmann and Zachiri McKenzie},
journal= {arXiv preprint arXiv:1702.03487},
year = {2017}
}
Comments
24 pages plus appendix with solutions to the exercises