Uri Andrews : Spectra of Theories

Posted by Isaac Goldbring , part of the Logic Seminar.

At

Feb. 5, 2013, 4 p.m.

In

SEO 427

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)