Iterated ultrapowers for the masses

, &
Archive for Mathematical Logic 57 (5-6):557-576 (2018)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-017-0592-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Forcing revisited.Toby Meadows - 2023 - Mathematical Logic Quarterly 69 (3):287-340.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.
Iterated trees of strategies and priority arguments.Steffen Lempp & Manuel Lerman - 1997 - Archive for Mathematical Logic 36 (4-5):297-312.
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.
Keisler’s order via Boolean ultrapowers.Francesco Parente - 2020 - Archive for Mathematical Logic 60 (3):425-439.
An application of ultrapowers to changing cofinality.Patrick Dehornoy - 1983 - Journal of Symbolic Logic 48 (2):225-235.
Representation of MV-algebras by regular ultrapowers of [0, 1].Antonio Di Nola, Giacomo Lenzi & Luca Spada - 2010 - Archive for Mathematical Logic 49 (4):491-500.
Simple monadic theories and indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.
Generalized Prikry forcing and iteration of generic ultrapowers.Hiroshi Sakai - 2005 - Mathematical Logic Quarterly 51 (5):507-523.

Analytics

Added to PP
2017-10-05

Downloads
19 (#190,912)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.
Iterated ultrapowers for the masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (5-6):557-576.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.
Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.

View all 18 references / Add more references