Course : Model Theory
L6 - Costas Dimitracopoulos
La piattaforma ti ha automaticamente reindirizzato alla home page perché tu faccia login prima di procedere con altre azioni. Probabilmente la tua sessione è scaduta.
Course Description
Loewenheim-Skolem theorems. Omitting types and interpolation. Countable models of complete theories. Skolem functions and indiscernibles. Ultraproducts and applications. Saturated models and applications.