End extending models of set theory via power admissible covers

DOI10.1016/j.apal.2022.103132OpenAlexW3189988720MaRDI QIDQ2672157

Ali Enayat, Zachiri McKenzie

Publication date: 8 June 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

end extensionmodels of set theoryadmissible setspower admissible setsrank extension

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Set theory (03E99) Nonstandard models (03H99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Rank-initial embeddings of non-standard models of set theory
• A proof-theoretic characterization of the primitive recursive set functions
• Power Kripke–Platek set theory and the axiom of choice
• On the relative strengths of fragments of collection
• MINIMUM MODELS OF SECOND-ORDER SET THEORIES
• The strength of Mac Lane set theory