Saeideh Bahrami

activity

20172026

collaborators

4 papers

math.LO2026

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

Saeideh Bahrami

In this paper, we extend the concept of a Lascar generic automorphism in the setting of models of Peano arithmetic ( $PA$ ) to the subgroup of the automorphism group of a co…

math.LO2022

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

Saeideh Bahrami

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 $ \…

math.LO2018

Tanaka's Theorem Revisited

Saeideh Bahrami

Tanaka (1997) proved a powerful generalization of Friedman's self-embedding theorem that states that given a countable nonstandard model $(M, A)$ of the subsyste…

math.LO2017

Fixed Points of Self-embeddings of Models of Arithmetic

Saeideh Bahrami, Ali Enayat

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 arit…