[Colloquium] Tomorrow: Harris/Dissertation Defense/5-2-07
Margaret Jaffey
margaret at cs.uchicago.edu
Tue May 1 14:31:00 CDT 2007
This is a reminder about Ken Harris's dissertation defense tomorrow.
-------------------------------
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 is available 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