Abstract：

Vaught’s conjecture (Vaught, 1961) claims that a complete first order theory in a countable language has either continuum many or at most countably many countable models (independently of the Continuum Hypothesis). Although open in general, VC was confirmed for some classes of theories. Notably, for theories of linearly ordered structures, VC was confirmed for theories of colored linear orders (Rubin, 1973), theories of linear orders with Skolem functions (Shelah, 1978), and o-minimal theories (Mayer, 1988). This talk will focus on (VC for) weakly o-minimal theories. Only a partial answer is known in this context, and I’ll survey both older and some very recent results confirming VC for some weakly o-minimal theories. This is a joint work with Predrag Tanović.

Zoom：717 463 6082