Mathematics Colloquia and Seminars
Turing Degrees of Prime ModelsColloquium
|Speaker:||Barbara F. Csima, Cornell University|
|Start time:||Thu, Jun 9 2005, 4:10PM|
Computable model theory is a branch of logic in which we examine effectiveness questions of classical notions in model theory. In this talk we review concepts from computability theory and model theory and discuss particular questions about the Turing degrees of prime models.
Tea at 3:40.