Louise Hay Logic Seminar
Michael Lange
UIC
Omitting Types Theorem: Topological Perspective
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.
Thursday October 12, 2023 at 4:00 PM in 427 SEO