2017/02/12 by Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri
#03C20 #03C50 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1702.03487
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.