arXiv subjects

Saeideh Bahrami

Publications and source records attributed to Saeideh Bahrami.

4 recordsLinked to original sources

arXiv2026

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts

In this paper, we extend the concept of a Lascar generic automorphism in the setting of models of Peano arithmetic ($\mathrm{PA}$) to the subgroup of the automorphism group of a countable recursively saturated model $\mathcal{M}$ of $\mathrm{PA}$ that fixes pointwise a strong cut $I$ of $\mathcal{M}$, denoted by $(\mathrm{Aut}(\mathcal{M}))_{(I)}$. Then, we prove that: (1) $(\mathrm{Aut}(\mathcal{M}))_{(I)}$ has the small index property. (2) The cofinality of $(\mathrm{Aut}(\mathcal{M}))_{(I)}$ is uncountable. (3) Any nontrivial normal subgroup of $(\mathrm{Aut}(\mathcal{M}))_{(I)}$ is meagre in it. In particular, the infinite cyclic group $\mathbb{Z}$ is not a homomorphic image of $(\mathrm{Aut}(\mathcal{M}))_{(I)}$.

math.LO↗

arXiv2022

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

In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}Σ_{1} $, each $ I $-small $ Σ_{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}Σ_{1} $. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of $ \mathrm{I}Σ_{1} $ to larger models.

math.LO↗

arXiv2018

Tanaka's Theorem Revisited

Tanaka (1997) proved a powerful generalization of Friedman's self-embedding theorem that states that given a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of the subsystem $\mathrm{WKL}_{0}$ of second order arithmetic, and any element $m$ of $\mathcal{M}$, there is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $j$ fixes every predecessor of $m$. Here we extend Tanaka's work by establishing the following results for a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of $\mathrm{WKL}_{0} $ and a proper cut $\mathrm{I}$ of $\mathcal{M}$: Theorem A. The following conditions are equivalent: (a) $\mathrm{I}$ is closed under exponentiation. (b) There is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $I$ is the longest initial segment of fixed points of $j$. Theorem B. The following conditions are equivalent: (a) $\mathrm{I}$ is a strong cut of $\mathcal{M} $ and $\mathrm{I}\prec _{Σ_{1}}\mathcal{M}.$ (b) There is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $\mathrm{I} $ is the set of all fixed points of $j$.

math.LO↗

arXiv2018

Fixed Points of Self-embeddings of Models of Arithmetic

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.

math.LO↗