Home Page of Morteza Moniri
 

• Mathematical Logic (first-order arithmetic, intuitionistic logic, modal logic).

• Computational Logic (logical aspects of complexity theory),
  and Philosophical Logic (non-classical logics, possible world semantics). 

Conference Organization: 

I was among organizers of the following international meetings: 

            Workshop and Conference on  Logic, Algebra, and Arithmetic (Oct. 18-22, 2003, IPM).

                     Workshop on Quantum Computing (Aug. 1-5, 2004, IPM).

         Teaching (Graduate): 

    Mathematical Logic (Axiomatic Set Theory, Godel's Theorems), Fall semester, 2003.

    Topics in Mathematical Logic (Provability Logic), Fall semester, 2004.

   Mathematical Logic (Axiomatic Set Theory, Godel's Theorems), Fall semester, 2004.  

   Model Theory, Spring semester, 2005.

   Intuitionistic Logic and Arithmetic, Fall semester, 2005.

     Teaching (Undergraduate): 

     Calculus, Foundations of mathematics, Set theory, Mathematical logic, Abstract algebra, 

    Theory of Computing.

•  Theses
  
  Ms:  Measure of Critical Sets (University of Tehran, 1993)

  PhD: Provability Results and Kripke Models for Fragments of Heyting Arithmetic (IPM, 2000)
   

  A Persian paper for the Isfahan Meeting (ps file):  

      First order arithmetic and its fragments with some applications to complexity theory

  
  Research Journal Papers

  [1] Some Weak Fragments of  HA and Certain Closure Properties, (with Mojtaba Moniri),  
          Journal of Symbolic Logic, 67 (2002) 91-103.
  [2] H-theories, Fragments of  HA and PA-normality,
          Archive for Mathematical Logic, 41 (2002) 101-105.
  [3] Weak Arithmetics and Kripke Models, 
           Mathematical Logic Quarterly,  48 (2002) 157-160.
  [4] Independence Results for Weak Systems of Intuitionistic Arithmetic,
          Mathematical Logic Quarterly, 49 (2003) 250-254.
  [5] On Two Questions About Feasibly Constructive Arithmetic,
          Mathematical Logic Quarterly, 49 (2003) 425-427.
  [6] Intuitionistic Weak Arithmetic, 
          Archive for Mathematical Logic, 42 (2003) 791-796.
  [7] Some Results On Kripke Models Over An Arbitrary Fixed Frame, (with S. M. Bagheri),   
          Mathematical Logic Quarterly,  49 (2003) 479-484.
  [8] Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND, 
          Journal of Logic and Computation, 13 (2003) 881-888.

  [9] Corrigendum to Weak Arithmetics and Kripke Models,
          Mathematical Logic Quarterly, 50 (2004) 637-638.

  [10] Polynomial Induction and Lenght Minimization in Intuitionistic Bounded Arithmetic,
           Mathematical Logic Quarterly, 51 (2005) 73-76.
  [11]  An Independence Result for Intuitionistic Bounded Arithmetic, 
          Journal of Logic and Computation, 16 (2006) 199-204.
  [12] Model Theory of Bounded Arithmetic With Applications to Independence Results,
          Lecture Notes in Logic, Vol. 26, 2006.
  [13]  Preservation Theorems for Bounded Formulas, 
        Archive for Mathematical Logic, 2006, Published online.

   

I've  presented talks at LC99, LC2000, LC2001, and LC2002 in Utrecht, Paris,
Vienna, and Münster, respectively. The abstracts of them (except the second one) were
published in The Bulletin of Symbolic Logic. 

I've also presented invited talks in the Departments of Math. at Isfahan University of Technology,  Tarbiat Modarres University, and  IPM.

 

• Association for Symbolic Logic
• Jeremy Avigad's Homepage
• John Baldwin's Homepage
• Samuel Buss's Homepage
• Stephen Cook's HomePage
• Melvin Fitting's Homepage
• Steffen Lemmp's HomePage
• Mathematical Logic Around The World
• Some Logic Journals

1. Annals of Pure and Applied Logic
2. Archive for Mathematical Logic
3. Bulletin of Symbolic Logic
4. Journal of Philosophical Logic
5. Journal of Logic and Computation
6. Journal of Mathematical Logic
7. Journal of Symbolic Logic
8. Logic Journal of the IGPL
9. Mathematical Logic Quarterly
10. Transactions on Computational Logic

 

Institute for Studies in Theoretical Physics and Mathematics (IPM)
P.O. Box 19395-5746
Tehran
IRAN

     Tel: (+98 21) 22287013-4 (ext. 2115)

     Fax: (+98 21) 22290648

     E-mail: ezmoniri AT  ipm.ir