| |
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:00-16:00, every Thursday
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran
|
|
| |
|
