Iterated ultrapowers for the masses

DOI10.1007/s00153-017-0592-1zbMath1483.03024arXiv1702.03487OpenAlexW2589862496WikidataQ59612236 ScholiaQ59612236MaRDI QIDQ1661675

Matt Kaufmann, Zachiri McKenzie, Ali Enayat

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)

Related Items

Iterated ultrapowers for the masses ⋮ Rank-initial embeddings of non-standard models of set theory

Uses Software

• ACL2

Cites Work

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