Rank-initial embeddings of non-standard models of set theory

DOI10.1007/s00153-019-00699-2zbMath1481.03021arXiv2106.08724OpenAlexW2984694251WikidataQ126795881 ScholiaQ126795881MaRDI QIDQ781504

Paul Kindvall Gorbow

Publication date: 17 July 2020

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

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

zbMATH Keywords

automorphismfixed pointembeddingweak compactnessself-embeddingKPnonstandard modelrecursively saturated modelZFGBCiterated ultrapowerstrong cut

Mathematics Subject Classification ID

Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Ultraproducts and related constructions (03C20) Model theory of denumerable and separable structures (03C15)

Related Items

THE COPERNICAN MULTIVERSE OF SETS ⋮ Condensable models of set theory ⋮ End extending models of set theory via power admissible covers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automorphisms of models of arithmetic: a unified view
• Automorphisms of recursively saturated models of arithmetic
• Iterated ultrapowers for the masses
• Fixed points of self-embeddings of models of arithmetic
• Models of axiomatic theories admitting automorphisms
• Results on automorphisms of recursively saturated models of PA
• Models and types of Peano's arithmetic
• Toward model theory through recursive saturation
• Power-like models of set theory
• ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
• EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
• A hierarchy of formulas in set theory
• The strength of Mac Lane set theory