Biweekly Seminars on Mathematical Logic |
October 8, 2009 - March 11, 2010
School of Mathematics, IPM
S. Mohammad Bagheri, IPM & Tarbiat Modarres University
Continuous Logic (I)
October 8, 2009
Masoud Pourmahdian, IPM & Amirkabir University of Technology
Continuous Logic (II)
October 22, 2009
- Morteza Moniri, IPM & Shahid Beheshti University
Formalized Forcing and Intuitionistic Bounded Arithmetic.
November 5, 2009
- Karim Khanaki, Tarbiat Modarres University
A glimps to Logic of Probability.
November 19, 2009
- Mojtaba Mojtahedi, Sharif University of Technology
An Intermediate Logic.
December 3, 2009
- Shahram Mohsenipour, IPM
Diophantine Equations and Logical Arithmetic .
December 17, 2009
- Somayyeh Vejdani, University of Tehran
On Some Theories in Logic of Probability.
December 31, 2009
- Alireza Mofidi, IPM & Tabiat Modarres University
Perturbations of Continuous Structures.
January 14, 2010
- Mostafa Zaare, Damghan University
Chains of Kriple Models.
January 28, 2010
- Mehdi Teymuri, IPM
Around a Definable Version of the Haefliger Theorem for Nested Distributions.
February 18, 2010 (To be Postponed)
- Mohammad Moghaddam, IPM
Some Other Applications of Ultra Products in Algebra and Algebraic Geometry.
March 11, 2010
Thursday, October 8, 2009
Time: 14:30-16:30, Every other Thursdays
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran