Jose Iovino: The Omitting Types Theorem and abstract model theory, part 1

Model Theory Seminar on Monday, February 18, 2013, 5:00 pm

 

Speaker: Jose Iovino
Affiliation: Carnegie Mellon University & UTSA
Title: The Omitting Types Theorem and abstract model theory, part 1
Location: Wean 8220
Abstract: It has been said that any fool can realize a type, but it takes a model theorist to omit one. I will discuss the omitting types property and its connections with set-theoretic topology and model-theoretic

forcing. I will present some results (some of them quite recent) that show the central role played by this property not only in first-order logic, but in important extensions of first-order, such as infinitary logics and real-valued logics. The exposition should accessible to anyone who has taken an introductory model theory course.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.