Παρουσίαση/Προβολή

(ML4) -  Costas Dimitracopoulos

Περιγραφή Μαθήματος

The course covers advanced topics in Model Theory, such as (a) stability and neo-stability theory, (b) topics concerning the decidability of first-order theories, and (c) topics concerning models of Peano arithmetic and its fragments.

Ημερομηνία δημιουργίας

Πέμπτη 22 Φεβρουαρίου 2024