Fixed points of self-embeddings of models of arithmetic

DOI10.1016/J.APAL.2018.01.004zbMATH Open1483.03031arXiv1703.02588OpenAlexW2962971708MaRDI QIDQ1709680FDOQ1709680

Authors: Saeideh Bahrami, Ali Enayat 

Publication date: 6 April 2018

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The structure of models of Peano arithmetic
• A new proof of Tanaka's theorem
• Automorphisms of models of bounded arithmetic
• A Note on a Theorem of H. FRIEDMAN
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automorphisms of recursively saturated models of arithmetic
• Models and types of Peano's arithmetic
• Automorphisms of models of arithmetic: a unified view
• Submodels and definable points in models of Peano arithmetic
• Title not available (Why is that?)
• From bounded arithmetic to second order arithmetic via automorphisms
• Recursively saturated nonstandard models of arithmetic
• Cofinal extensions of nonstandard models of arithmetic
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Notes on various versions of Friedman's self-embedding theorem

Cited In (10)

• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Tanaka's theorem revisited
• Notes on various versions of Friedman's self-embedding theorem

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)