IPM» School of Mathematics» IPM Logic Conference 2007

Titles of Lectures

 

• M. Alizadeh

              Basic Predicate Logic, Craig's Interpolation and Robinson's Consistency Theorems

• S. M. Bagheri

             Model Theory for Measure Structures

• A. Beckmann

          Proofs, Programs and Abstract Complexity (2lectures)

• L. D. Beklemishev

          Provability Algebras and Kripke Models (2lectures)

• S. B. Cooper

              Post's Programme: An Update(2 lectures)

• A. Enayat

          - A Model Theoretic Characterization of $I\Delta _{0}+Exp+B\Sigma_{1}.\medskip $}

             - Set Theory with a Class of Indiscernibles$\medskip $}

• M. Gavrilovich

          A Categoricity Theorem for Universal Covering Spaces of Complex Algebraic Varieties

• K. Ghasemloo

          Effectiveness in Continuous Logic

• I. Kalantari

          - TBA

             -  The Computable, The Incomputable, and the Computably Incomputable

• M. Moniri

          Intuitionistic Bounded Arithmetic and the Polynomial Hierarchy

• J. B. Paris

          - Binary Inductive Logic

             - Infinite Models of Inconsistent Arithmetic

• B. Poizat

          Foundations of Positive Logic (2 lectures)

• M. Pourmahdian

          Continuous Logic with Integral Quantifiers

• R. Ramezanian

          Double Negation of Intermediate Value Theorem

• S. Salehipourmehr

          Modal Logic of Herbrand Consistency in Weak Arithmetics

• J. Väänänen

          - An Introduction to Dependence Logic

             - Interpolation in Model Theoretic Languages