[Turkmath:7380] Friday Seminar at MSGSU: Definability and Decidability Around Presburger Arithmetic

[Safak Ozden]

Mimar Sinan Fine Arts University

Seminar


* Definability and Decidability
*

*Around Presburger Arithmetic*

Speaker:
*Demirhan R. Tunc, M.Sc.
Department of Mathematics, University of Notre Dame*


Abstract: I will start with introducing model theoretic machinery related to
definability and decidability. As a specific example, we will work with
Presburger Arithmetic, i.e. the first order theory of ordered additive group
of integers, and its "expansions".


*
Tarih: 24 Aralik 2010 Cuma, saat:14:30 - 24.12.2010

Yer  : MSGSÜ Fen-Edebiyat Fakültesi,

Amfi: 408

*--
Mimar Sinan University, Istanbul
Tel: +90 536 462 73 88
email: bildiginessek at gmail.com
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/private/turkmath/attachments/20101220/d29e8515/attachment.htm>