[Colloquium] Tomorrow: Harris/M.S. Presentation/Dec. 1, 2004

[Margaret Jaffey]

Just a reminder that Kenneth Harris will give his Masters Presentation 
tomorrow afternoon.

-------------
Date: Wednesday, December 1, 2004

Time: 2:30 p.m.

Place: Ryerson 251

Candidate: Kenneth Harris

M.S. Paper Title:  Degrees of Saturated Models

Abstract:
Let T be a complete decidable theory with all types computable.
Morley/Millar found a sufficient condition for T to possess a decidable
saturated model and Millar constructed an example of such a theory which
possesses no decidable saturated model.  We show how to extend Millar's
construction to other Turing degrees as well, and investigate which
degrees are degrees of saturated models for any such theory T.  Along 
the
way we present an unexpected new characterization of lowness which 
arises
from this construction.

Advisor: Prof. Robert I. Soare

A draft copy of Ken Harris' MS Paper will be available soon in Ry 161A.

-- 
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Margaret P. Jaffey				margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 161A)		(773) 702-6011
The University of Chicago		http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-