Iterated ultrapowers for the masses

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 mode...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Archive for mathematical logic 2018-08, Vol.57 (5-6), p.557-576
Hauptverfasser:	Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Algebra and Logic Algebra och logik Automorphism Filosofi Iterated ultrapower Mathematical Logic and Foundations Mathematics Mathematics and Statistics Philosophy Tight indiscernible sequence
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0933-5846 1432-0665 1432-0665
DOI:	10.1007/s00153-017-0592-1