Iterated ultrapowers for the masses

作者:Enayat Ali*; Kaufmann Matt; McKenzie Zachiri
来源:Archive for Mathematical Logic, 2018, 57(5-6): 557-576.
DOI:10.1007/s00153-017-0592-1

摘要

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.

  • 出版日期2018-8