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

(L6) -  Costas Dimitracopoulos

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

Loewenheim-Skolem theorems. Omitting types and interpolation. Countable models of complete theories. Skolem functions and indiscernibles. Ultraproducts and applications. Saturated models and applications.

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

Τρίτη 20 Φεβρουαρίου 2024