CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Model Theory Seminar
Jose Iovino
Carnegie Mellon University & UTSA
Title: The Omitting Types Theorem and abstract model theory, part 1

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.

Date: Monday, February 18, 2013
Time: 5:00 pm
Location: Wean 8220
Submitted by:  Grossberg