[Colloquium] Harris/M.S. Presentation/Dec. 1, 2004
Margaret Jaffey
margaret at cs.uchicago.edu
Wed Nov 17 09:44:49 CST 2004
This is an announcement of Kenneth Harris' Master's Presentation.
-------------
Date: Wednesday, December 1, 2004
Time: 2:30 p.m.
Place: Ryerson 251
Candidate: Kenneth Harris
M.S. Papere 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
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
More information about the Colloquium
mailing list