Iterated ultrapowers for the masses

DOI10.1007/S00153-017-0592-1zbMATH Open1483.03024DBLPjournals/aml/EnayatKM18aOpenAlexW2589862496WikidataQ59612236 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)

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

zbMATH Keywords

automorphismiterated ultrapowertight indiscernible sequence

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(8)

• scientific article; zbMATH DE number 4174922 (Why is no real title available?)
• Positively Prodigious Powers or How Dudeney Done It?
• Rank-initial embeddings of non-standard models of set theory
• An introduction to iterated ultrapowers
• scientific article; zbMATH DE number 2144530 (Why is no real title available?)
• Iterated ultrapowers for the masses
• Multi-level nonstandard analysis and the axiom of choice
• Independence, order, and the interaction of ultrafilters and theories

Describes a project that uses

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)