INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY

DOI10.1017/JSL.2021.62MaRDI QIDQ5021929zbMATH OpenOpenAlexFDO

Authors Ali Enayat, Zachiri McKenzie

Publication date 17 January 2022

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

initial embeddingmodel of set theorynonstandardself-embedding

Mathematics Subject Classification ID

Set theory (03E99) Nonstandard models (03H99)

Recommendations

• scientific article; zbMATH DE number 3855080
• Rank-initial embeddings of non-standard models of set theory
• Fixed points of self-embeddings of models of arithmetic
• Every countable model of set theory embeds into its own constructible universe
• Tanaka's theorem revisited

Cites work

• A model of second-order arithmetic satisfying AC but not DC
• Automorphisms of models of set theory and extensions of NFU
• Elementary extensions of models of set theory
• End-extensions preserving power set
• Every countable model of set theory embeds into its own constructible universe
• Fixed points of self-embeddings of models of arithmetic
• Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
• scientific article; zbMATH DE number 3829895 (Why is no real title available?)
• scientific article; zbMATH DE number 3425598 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3503234 (Why is no real title available?)
• scientific article; zbMATH DE number 922633 (Why is no real title available?)
• scientific article; zbMATH DE number 3348104 (Why is no real title available?)
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Model theory.
• On interpretations of arithmetic and set theory
• On the relative strengths of fragments of collection
• Set Theory
• The interdependence of certain consequences of the axiom of choice
• The Shoenfield absoluteness lemma
• The strength of Mac Lane set theory
• What is the theory ZFC without power set?

Cited in

(6)

• Condensable models of set theory
• Optimal embedding of Meyer sets into model sets
• scientific article; zbMATH DE number 3855080 (Why is no real title available?)
• Elementary epimorphisms between models of set theory
• Initial self-embeddings of models of set theory
• Incompleteness of boundedly axiomatizable theories

This page was built for publication: INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY

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