Iterated ultrapowers for the masses

DOI10.1007/S00153-017-0592-1zbMATH Open1483.03024DBLPjournals/aml/EnayatKM18aarXiv1702.03487OpenAlexW2589862496WikidataQ59612236 ScholiaQ59612236MaRDI QIDQ1661675FDOQ1661675

Authors: Ali Enayat, Matt Kaufmann, Zachiri McKenzie 

Publication date: 16 August 2018

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1702.03487

Recommendations

• scientific article; zbMATH DE number 2144530
• Publication:3199413
• Generalized Prikry forcing and iteration of generic ultrapowers
• Model constructions in stationary logic. II: Definable ultrapowers
• Publication:3481682

zbMATH Keywords

automorphismiterated ultrapowertight indiscernible sequence

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20)

Cites Work

• Model theory
• Set Theory
• Categoricity
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Some applications of iterated ultrapowers in set theory
• Reduced direct products
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• The structure of models of Peano arithmetic
• Title not available (Why is that?)
• Iterated ultrapowers for the masses
• A definable nonstandard model of the reals
• Title not available (Why is that?)
• Automorphisms of models of bounded arithmetic
• Title not available (Why is that?)
• Models of axiomatic theories admitting automorphisms
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Automorphisms of recursively saturated models of arithmetic
• Models and types of Peano's arithmetic
• Automorphisms of models of arithmetic: a unified view
• Automorphisms with only infinite orbits on non-algebraic elements
• Automorphisms moving all non-algebraic points and an application to NF
• From bounded arithmetic to second order arithmetic via automorphisms
• Iterated elementary embeddings and the model theory of infinitary logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Multi-level nonstandard analysis and the axiom of choice
• Positively Prodigious Powers or How Dudeney Done It?
• Independence, order, and the interaction of ultrafilters and theories
• Iterated ultrapowers for the masses
• Rank-initial embeddings of non-standard models of set theory

Uses Software

• ACL2

This page was built for publication: Iterated ultrapowers for the masses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1661675)