Saeideh Bahrami

dblp:217/3967 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2024
0000-0002-8614-6080ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Self-Embeddings of Models of Arithmetic; fixed Points, Small Submodels, and extendability
abstract
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.
Saeideh Bahrami
J. Symb. Log.1
2018 Elementary equivalence of rings with finitely generated additive groups
Saeideh Bahrami, Ali Enayat
Ann. Pure Appl. Log.1