Home » PhD Courses » PhD Course in Computer Science, Mathematics and Physics » PhD Training Project » Model Theory
Lecturer
We introduce some model-theoretic tools and ideas up to initial notions in stability theory. We aim to cover a selection of the following topics:
Structures, theories, elementarity (including elementary substructures, Tarski-Vaught test, downward Lowenheim-Skolem theorem), the compactness theorem.
Università degli Studi di Udine
Dipartimento di Scienze Matematiche, Informatiche e Fisiche (DMIF)
via delle Scienze 206, 33100 Udine, Italy
Tel: +39 0432 558400
Fax: +39 0432 558499
PEC: dmif@postacert.uniud.it
p.iva 01071600306 | c.f. 80014550307
30 km from Slovenia border
80 km from Austria border
120 km from Croatia border
160 km South West of Klagenfurt (Austria)
160 km West of Lubiana (Slovenia)
120 km North East of Venezia (Italy)