INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY

DOI10.1017/jsl.2021.62OpenAlexW3193850043MaRDI QIDQ5021929

Zachiri McKenzie, Ali Enayat

Publication date: 17 January 2022

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

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

zbMATH Keywords

self-embeddingnonstandardmodel of set theoryinitial embedding

Mathematics Subject Classification ID

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

Related Items (1)

Condensable models of set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Model theory.
• Fixed points of self-embeddings of models of arithmetic
• Automorphisms of models of set theory and extensions of NFU
• On interpretations of arithmetic and set theory
• The Shoenfield absoluteness lemma
• What is the theory without power set?
• End-extensions preserving power set
• Set Theory
• On the relative strengths of fragments of collection
• A model of second-order arithmetic satisfying AC but not DC
• The interdependence of certain consequences of the axiom of choice
• EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
• Elementary extensions of models of set theory
• The strength of Mac Lane set theory

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