Logic Seminar
Howard Becker
University of Wisconsin Madison
Isomorphism of computable structures and Vaught's conjecture
Abstract: The following question in computable model theory is
open: Does there exist a hyperarithmetic class of computable
structures with exactly one non-hyperarithmetic isomorphism-type?
Given any oracle a in 2^omega, we can ask the same question
relativized to a. A negative answer for every a implies Vaught's
conjecture.
Tuesday March 5, 2013 at 4:00 PM in SEO 427