Logic Seminar
Uri Andrews
UCBerkeley/UIC
The Spectrum Problem in a Finite Language.
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.
Tuesday January 20, 2009 at 4:00 PM in SEO 612