Processing math: 100%
wowslider.com

“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 17090
School of Mathematics
  Title:   Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
  Author(s):  Saeideh Bahrami
  Status:   To Appear
  Journal: J. Symbolic Logic
  Supported by:  IPM
  Abstract:
In this paper we will show that for every cut I of any countable nonstandard model \M of \IΣ1, each I-small Σ1-elementary submodel of \M is of the form of the set of fixed points of some proper initial self-embedding of \M iff I is a strong cut of \M. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model \M of \IΣ1. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of \IΣ1 to larger models.

Download TeX format
back to top
scroll left or right