Please ensure Javascript is enabled for purposes of website accessibility

Course : Model Theory

L6 - Costas Dimitracopoulos

Course Description

Course

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

Agenda

Announcements

ALL ANNOUNCEMENTS...
  • - There are no announcements -