Logic Seminar
Tamvana Makuluni
University of Wisconsin, Madison
The Index Set of Uncountably Categorical Theories
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.
Thursday March 15, 2012 at 3:00 PM in SEO 1227