Michael Lange : Omitting Types Theorem: Topological Perspective

Posted by Michael Lange , part of the Louise Hay Logic Seminar.

At

Oct. 12, 2023, 4 p.m.

In

427 SEO

Abstract

The Omitting Types Theorem for countable first-order theories has, in addition to a model-theoretic proof, a "purely" topological proof making use of the Baire Category Theorem. This proof will be given, and then the notion of omitting types will be discussed for a more general notion of type space abstracted from the Stone space of types over a first-order theory.