[MD-sorular] PHD's in Logic (Talks by PHD students)

[Ali ilik]

 http://www.phdsinlogic.ugent.be/ (19-20 Febr. 2009 at Ghent Univ. Math Dep,
Belgium)

 Tutorial SpeakersTutorials in mathematical logic:

Raf Cluckers (K.U. Leuven) - "How and why model theory is useful in many
areas of mathematics" -
*Abstract*<http://www.phdsinlogic.ugent.be/abstractRC.html>
Benedikt Löwe (University of Amsterdam) - "Inaccessible cardinals" - *
Abstract* <http://www.phdsinlogic.ugent.be/abstractBL.html>
Françoise Point (Mons-Hainaut University) - "Introduction to o-minimality &
Groups definable in o-minimal structures"-
*Abstract*<http://www.phdsinlogic.ugent.be/img/abstractFP.pdf>


Tutorials in philosophical logic:

Reinhard Muskens (Tilburg University) - "Intensional models for the theory
of types" - *Abstract* <http://www.phdsinlogic.ugent.be/abstractRM.html>
Karl-Georg Niebergall (HU Berlin) - "Comments on Gödel's incompleteness
theorems"
Jean Paul Van Bendegem (Vrije Universiteit Brussel) - "The many uses of
paraconsistent logic(s)" -
*Abstract*<http://www.phdsinlogic.ugent.be/abstractJPVB.html>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20090212/1d5bb568/attachment.htm