“S. Mohammad Bagheri”
IPM Positions 

Resident Researcher, School of Mathematics
(2009  2013 ) 

Past IPM Positions 

Associate Researcher, School of Mathematics
(2006  2007) Associate Researcher (nonresident), 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 wsaturated 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 nonequivalence 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. ? References


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), 103113 [abstract] 
2.  S. M. Bagheri and M. Pourmahdian Omitting types in an intermediate logic Studia Logica 97 (2011), 319328 [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), 889901 [abstract] 
5.  S. M. Bagheri Categoricity and quantifier elimination for intuitionistic theories Lect. Notes Log. 26 (2006), 2341 [abstract] 
6.  S. M. Bagheri Some preservation theorems in an intermediate logic Math. Logic Quart. 52 (2006), 125133 [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), 159167 [abstract] 
8.  S. M. Bagheri On translations of complete first order theories Math. Logic Quart. 49 (2003), 8791 [abstract] 
9.  S. M. Bagheri and Mor. Moniri Some results on Kripke models over an arbitrary fixed frame Math. Logic Quart. 49 (2003), 479484 [abstract] 
10.  S. M. Bagheri Fundamental order of a onebased theory J. Symbolic Logic 64 (1999), 14261438 [abstract] 
[Back]
