Logic Seminar
Uri Andrews
University of Wisconsin Madison
Spectra of Theories
Abstract: The (degree) spectrum of a theory is the set of Turing degrees which compute a model of the theory. I'll discuss several new theorems relating theory spectra to model theoretic properties. (Various parts of the talk joint with Joseph S. Miller; Julia Knight; or Mingzhong Cai, David Diamondstone, Steffen Lempp, Joseph S. Miller)
Tuesday February 5, 2013 at 4:00 PM in SEO 427