[Colloquium] Harris/Dissertation Defense/5-2-07

[Margaret Jaffey]

		Department of Computer Science/The University of Chicago

				*** Dissertation Defense ***


Candidate:  Kenneth Harris

Date:  Wednesday, May 2, 2007

Time and Location:  3:00 p.m. in Ryerson 277

Title:  The Effective Content of Classical Theorems on Saturated Models

Abstract:
In this talk I will discuss the complexity of the classical model  
theoretic theorems
on the existence and uniqueness of saturated models.  The complexity  
measures
include both computational (as measured by Turing degree) and proof  
theoretic
(as measured within reverse mathematics).

Candidate's Advisor:  Prof. Robert I. Soare

A draft copy of Mr. Harris's dissertation 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
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=