Fixed points of self-embeddings of models of arithmetic

DOI10.1016/J.APAL.2018.01.004MaRDI QIDQ1709680zbMATH OpenOpenAlexFDO

Authors Saeideh Bahrami, Ali Enayat

Publication date 6 April 2018

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

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

zbMATH Keywords

fixed pointPeano arithmeticself-embeddingnonstandard modelstrong cut

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Model theory of denumerable and separable structures (03C15) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Abstract: We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arithimetic, we provide complete characterizations of (a) the initial segments of M that can be realized as the longest initial segment of fixed points of a nontrivial self-embedding of M onto a proper initial segment of M; and (b) the initial segments of M that can be realized as the fixed point set of some nontrivial self-embedding of M onto a proper initial segement of M. Moreover, we demonstrate the the standard cut is strong in M iff there is a self-embedding of M onto a proper initial segment of itself that moves every element that is not definable in M by an existential formula.

Recommendations

• Tanaka's theorem revisited
• Automorphisms of models of bounded arithmetic
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• Notes on various versions of Friedman's self-embedding theorem
• Submodels and definable points in models of Peano arithmetic

Cites work

• scientific article; zbMATH DE number 3425598 (Why is no real title available?)
• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• scientific article; zbMATH DE number 4057512 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3737634 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 3792159 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 2144526 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• A Note on a Theorem of H. FRIEDMAN
• A new proof of Tanaka's theorem
• Automorphisms of models of arithmetic: a unified view
• Automorphisms of models of bounded arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Cofinal extensions of nonstandard models of arithmetic
• From bounded arithmetic to second order arithmetic via automorphisms
• Models and types of Peano's arithmetic
• Notes on various versions of Friedman's self-embedding theorem
• Recursively saturated nonstandard models of arithmetic
• Submodels and definable points in models of Peano arithmetic
• The structure of models of Peano arithmetic
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)

Cited in

(10)

• Notes on various versions of Friedman's self-embedding theorem
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• scientific article; zbMATH DE number 5186437 (Why is no real title available?)
• Automorphisms of models of bounded arithmetic
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• On embedding models of arithmetic of cardinality \aleph₁into reduced powers
• Rank-initial embeddings of non-standard models of set theory
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
• scientific article; zbMATH DE number 2208069 (Why is no real title available?)
• Tanaka's theorem revisited

This page was built for publication: Fixed points of self-embeddings of models of arithmetic

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