Login / Signup
Saeideh Bahrami
ORCID
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 3
Top Topics
Search Algorithm
Intuitionistic Logic
School Children
Automatically Generated
Top Venues
Bull. Symb. Log.
Arch. Math. Log.
Ann. Pure Appl. Log.
</>
Publications
</>
Saeideh Bahrami
Tanaka's theorem revisited.
Arch. Math. Log.
59 (7-8) (2020)
Saeideh Bahrami
Self-embeddings of Models of Peano Arithmetic.
Bull. Symb. Log.
25 (2) (2019)
Saeideh Bahrami
,
Ali Enayat
Elementary equivalence of rings with finitely generated additive groups.
Ann. Pure Appl. Log.
169 (6) (2018)