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

DOI10.1007/S00153-019-00699-2zbMATH Open1481.03021arXiv2106.08724OpenAlexW2984694251WikidataQ126795881 ScholiaQ126795881MaRDI QIDQ781504FDOQ781504

Authors: Paul Kindvall Gorbow 

Publication date: 17 July 2020

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

Abstract: A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then combined into a "geometric technique" used to prove several results about countable non-standard models of set theory. In particular, back-and-forth constructions are carried out to establish various generalizations and refinements of Friedman's theorem on the existence of rank-initial embeddings between countable non-standard models of the fragment $mathrm{KP}^{m}athcalP$ + $Sigm{a}_1^{m}athcalP$-Separation of $mathrmZF$; and Gaifman's technique of iterated ultrapowers is employed to show that any countable model of $mathrmGBC$ + "$mathrmOrd$ is weakly compact" can be elementarily rank-end-extended to models with well-behaved automorphisms whose sets of fixed points equal the original model. These theoretical developments are then utilized to prove various results relating self-embeddings, automorphisms, their sets of fixed points, strong rank-cuts, and set theories of different strengths. Two examples: The notion of "strong rank-cut" is characterized (i) in terms of the theory $mathrmGBC$ + "$mathrmOrd$ is weakly compact", and (ii) in terms of fixed-point sets of self-embeddings.

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

Recommendations

• Tanaka's theorem revisited
• Every countable model of set theory embeds into its own constructible universe
• Automorphisms of models of set theory and extensions of NFU
• Fixed points of self-embeddings of models of arithmetic
• scientific article; zbMATH DE number 2144534

zbMATH Keywords

embeddingfixed pointautomorphismself-embeddingweak compactnessKPnonstandard modelrecursively saturated modelZFGBCiterated ultrapowerstrong cut

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The strength of Mac Lane set theory
• Iterated ultrapowers for the masses
• Title not available (Why is that?)
• A hierarchy of formulas in set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models of axiomatic theories admitting automorphisms
• Toward model theory through recursive saturation
• Automorphisms of recursively saturated models of arithmetic
• Fixed points of self-embeddings of models of arithmetic
• Results on automorphisms of recursively saturated models of PA
• Models and types of Peano's arithmetic
• 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
• Title not available (Why is that?)
• Automorphisms of models of arithmetic: a unified view

Cited In (5)

• THE COPERNICAN MULTIVERSE OF SETS
• End extending models of set theory via power admissible covers
• Title not available (Why is that?)
• Condensable models of set theory
• Every countable model of set theory embeds into its own constructible universe

This page was built for publication: Rank-initial embeddings of non-standard models of set theory

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