Uri Andrews : The Spectrum Problem in a Finite Language.

Posted by , part of the Logic Seminar.

At

Jan. 20, 2009, 4 p.m.

In

SEO 612

Abstract

A model of a strongly minimal theory can be characterized by its dimension. The spectrum of a strongly minimal theory is the set of dimensions of models that have recursive presentations. There is a standing open question of which subsets of $\omega+1$ can be achieved as a spectrum of a strongly minimal theory. In this talk, we will examine some of the spectra already known possible and will explore whether they can be attained in a theory with a finite language.

seminar begins with tea.