
Weekly Seminars in Mathematical Logic
May 12  July 14, 2011 School of Mathematics, IPM


Morteza Moniri, IPM and Shahid Beheshti University
Some topics in weak arithmetic . May 12, 2011

Mohammad Golshani, Shahid Bahonar University & IPM
Kurepa hypothesis and its generalizations I. May 19, 2011

Mohammad Golshani, Shahid Bahonar University & IPM
Kurepa hypothesis and its generalizations II. May 26, 2011

Shahram Mohsenipour, IPM
A Bezout recursive nonstandard model of open induction . June 9, 2011

Roghayeh Safari Rad, Tarbiat Modares University
A completeness theorem for linear logic. June 23, 2011
 Kaave Lajevardi, IPM
Is the Turing machine capable of computing all intuitively computable functions?. July 7, 2011

Shahram Mohsenipour, IPM
On exponential open induction. July 14, 2011
Information:
Starting date:
Thursday, May 12, 2011
Time: 14:0016:00, every Thursday
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran

 
