VLDB 2026 Research / reviewers in the wild / expert
Saeideh Bahrami
dblp:217/3967
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Self-Embeddings of Models of Arithmetic; fixed Points, Small Submodels, and extendabilityabstractAbstract 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 |