|
Logic Seminars
Nov. 30, 2006-Jan. 18, 2007 School of Mathematics, IPM
- S. M. Bagheri, Tarbiat Modarres University and IPM
An Algebraization of Model Theory. Nov. 30, 2006
- Moj. Moniri, IPM and Tarbiat Modarres University
Characterizing Computable Beatty Sequences. Dec. 7, 2006
- M. Alizadeh, IPM
Algebraic Models for Basic Predicate Logics.
Dec. 14, 2006
- M. Pourmahdian, IPM and Amirkabir University of Technology
Continuous Probability Structures. Dec. 21, 2006
- Sh. Mohsenipour, IPM
Tarki's Problem and Models of Arithmetic. Dec. 28, 2006
-
Mor. Moniri, IPM and Shahid Beheshti University
Model Theory for Bounded Theories Jan. 4, 2007
- Sh. Mohsenipour, IPM
Set Theory and Commutative Algebra. Jan. 11, 2007
- M. Alizadeh, IPM
Subintuitionistic Logics.
Jan. 18, 2007
Information:
Starting date:
Thursday Nov. 30, 2006
Time: 14:00-16:00, every Thursday
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran
|
| | |
|