“S. Mohammad Bagheri”

Tel:  (+98)(21)22290928
Fax:  (+98)(21)22290648

IPM Positions

Resident Researcher, School of Mathematics
(2009 - 2013 )

Past IPM Positions

Associate Researcher, School of Mathematics
(2006 - 2007)
Associate Researcher (non-resident), School of Mathematics
(2004 - 2006)
(Since October )

Associate Researcher, School of Mathematics
(2001 - 2004)

Non IPM Affiliations

Assistant Professor of Tarbiat Modares University

Research Activities

I work in the following three subjects:

1. Properties of translations of complete first order theories: A translation of a theory T is a function which permutes ?-definable subsets of models of T. In other words, a translation is an automorphism of the Lindenbaum algebra (of formulas) of T. A translation can be realized by (different) functions over w-saturated models of T and hence, it can be considered as a generalization of of automorphism. This project is a continuation of work done in [].

2. Amalgamation and joint embedding properties for classes of structures: There is vast body of work here. I am concentrated more on classes of graphs obtained by geometric realizations e.g. graphs embeddable in a smooth surface. However, other classes are also of my interest e.g. classes of ordered fields (see [].)

3. Model theory of Kripke structures: Some partial works are done here but one of main obstacles is non-equivalence of equivalent classical definitions. I and Morteza Moniri are trying to obtain better results by choosing best definitions. In [] we have adopted one and proved some elementary results.



S. M. Bagheri, On Translations of Complete First Order Theories; to appear in Mathematical Logic Quarterly.


S. M. Bagheri and Morteza Moniri, JEP and AP for Some Classes of Ordered Fields; submitted.


S. M. Bagheri and Morteza Moniri, Some Results on Kripke Models an Arbitrary Fixed Frame; submitted.

Present Research Project at IPM

Research Project

Related Papers

1. S. M . Bagheri (Joint with Mor. Moniri)
Preservation theorems in Lukasiewicz model theory
Iran. J. Fuzzy Syst. 10 (2013), 103-113  [abstract]
2. S. M. Bagheri and M. Pourmahdian
Omitting types in an intermediate logic
Studia Logica 97 (2011), 319-328  [abstract]
3. S. M. Bagheri and M. Pourmahdian
Elementary amalgamation and joint embedding property for intermediate logics
Log. J. IGPL (Accepted) [abstract]
4. S. M. Bagheri and M. Pourmahdian
Diagram construction in intuitionistic logic
Log. J. IGPL 16 (2006), 889-901  [abstract]
5. S. M. Bagheri
Categoricity and quantifier elimination for intuitionistic theories
Lect. Notes Log. 26 (2006), 23-41  [abstract]
6. S. M. Bagheri
Some preservation theorems in an intermediate logic
Math. Logic Quart. 52 (2006), 125-133  [abstract]
7. S. M. Bagheri and Moj. Moniri
Joint embedding and amalgamation for certain classes of ordered fields
J. Appl. Algebra Discrete Struct. 3 (2005), 159-167  [abstract]
8. S. M. Bagheri
On translations of complete first order theories
Math. Logic Quart. 49 (2003), 87-91  [abstract]
9. S. M. Bagheri and Mor. Moniri
Some results on Kripke models over an arbitrary fixed frame
Math. Logic Quart. 49 (2003), 479-484  [abstract]
10. S. M. Bagheri
Fundamental order of a one-based theory
J. Symbolic Logic 64 (1999), 1426-1438  [abstract]
scroll left or right