Louise Hay Logic Seminar
Aida Alibek
UIC
Counting countable models in a countable language
Abstract: In 1961 R. Vaught proposed a conjecture that the number of countable models of a first-order complete theory in a countable language is finite, $\aleph_0$ or $2^{\aleph_0}$.
The talk will be an overview of various results, connected to this open problem. We will consider an especially nice theorem of L. Mayer for o-minimal theories. We will also talk about some results for the topological Vaught conjecture.
Thursday October 29, 2015 at 4:00 PM in SEO 427