Aida Alibek : Counting countable models in a countable language

Posted by Aida Alibek , part of the Louise Hay Logic Seminar.

At

Oct. 29, 2015, 4 p.m.

In

SEO 427

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.