
Weekly Seminar on Logic
October 30, 2008  March 12, 2009 School of Mathematics, IPM


Massoud Pourmahdian, Amirkabir University of Technology
Stable Forking Conjecture. October 30, 2008
 Shahram Mohsenipour, IPM
Systems of Weak Arithmetic. November 6, 2008

Majid Alizadeh,
IPM & University of Tehran
An Introduction to Subintuitionistic Logics. November 13, 2008
 Mohammad Bagheri, Tarbiat Modares University
A Theorm of Los Type for Linear Formulas.
November 20, 2008
 Mohammad Moghaddam, IPM
Some Applications of Ultrapowers in Commutative Algebra and Algebraic Geometry.
November 27, 2008
 Ebrahim Larijani, Swansea University, UK
Provability of Consistency of PV.
January 1, 2009
 Zanyar Ghadernezhad, Amirkabir University of Technology
Fusion of First Order Theories.
January 15, 2009
 Alireza Mofidi, Tarbiat Modarres University
Operator Logic: A Common Extension of Metric and Integral Logic January 22, 2009
 Aliakbar Safilian,Amirkabir University of Technology
TTF Method in Computable Analysis
January 29, 2009
 Mojtaba Mojtahedi, Sharif University of Technology
Kripke Models of Heyting Arithmetic and Models of Peano Arithmetic. February 5, 2009
 Farzad Didehvar, Amirkabir University of Technolgy
Uncertainity of the MindBody Problem.
February 12, 2009
 Nazanin Tavana, Amirkabir University of Technology
Fazzy Logic and the Concept of Kcompactness.
February 19, 2009
 Massoud Pourmahdian, Amirkabir University of Technology
QuasiUrysohn Spaces. March 5, 2009
 Shahram Mohsenipour, IPM
TwoCardinal Theorems and Jensen's Morasses.
March 12, 2009
Information:
Starting date:
Thursday, October 30, 2008
Time: 14:00, every Thursday
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran

 
