Tamvana Makuluni : The Index Set of Uncountably Categorical Theories

Posted by , part of the Logic Seminar.

At

March 15, 2012, 3 p.m.

In

SEO 1227

Abstract

We classify the complexity of the index set of uncountably categorical theories. We show that this index set surprisingly falls at the intermediate stage of being complete for intersections of $\Pi^0_2$-sets and $\Sigma^0_2$-sets. Work with Uri Andrews.