Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability

TL;DR

This paper explores the structure of fixed points and extendability of self-embeddings in countable nonstandard models of arithmetic, linking these properties to the strength of certain cuts within the models.

Contribution

It characterizes when submodels are fixed points of self-embeddings based on the strength of cuts and provides criteria for extending self-embeddings to larger models.

Findings

Fixed points of self-embeddings correspond to strong cuts.

Conditions for extendability of self-embeddings are established.

Equivalent conditions for the strength of the standard cut are identified.

Abstract

In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $, each $ I $-small $ \Sigma_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed points of some proper initial self-embedding of $ \mathcal{M} $ iff $ I $ is a strong cut of $ \mathcal{M} $. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of $ \mathrm{I}\Sigma_{1} $ to larger models.