Mathematical Logic
 
 
September 25 - December 18, 2014

Titles of Talks


- Yang Yue, National University of Singapore
A normal form theorem of computation on real numbers.
September 25, 2014

- Mohammad Golshani, IPM
How complicated can Cohen reals be?
October 2, 2014

- Shahram Mohsenipour, IPM
On the set mappings I.
October 9, 2014

- Shahram Mohsenipour, IPM
On the set mappings II.
October 16, 2014

- Seyed Mohammad Amin Khatami, Amirkabir University of Technology and IPM
Enriched Godel logics with nullary connectives.
October 23, 2014

- Saeed Salehi , University of Tabriz and IPM
The fundamental theorem of algebra in logic.
October 30, 2014

- Karim Khanaki, Arak University of Technology and IPM
Theories without the independence property and Talagrand's stability.
November 6, 2014

- Saleh Aliyari, IPM
On the ultrafilter extension.
November 27, 2014

- Rasoul Ramezanian, Sharif University of Technology and IPM (It has been canceled.)
A process algebraic form to represent extensive games.
December 4, 2014

- Morteza Moniri, Shahid Beheshti University and IPM
Naturalism in the philosophy of Mathematics.
December 11, 2014

- Elahe Shirinkalam, Shahid Beheshti University
Dynamic quantum logic.
December 18, 2014





Information:

Starting date : Thursday, September 25, 2014
Time : 14:00- 16:00, every Thursdays
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran
 
 
back to top
footer
 

webmaster | ipmic@ipm.ir   Copyright © 2012, All rights reserved.