“S. Mohammad Bagheri”
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. ? 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), 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] |
[Back]
|