Return to Colloquia & Seminar listing
Turing Degrees of Prime Models
Colloquium| Speaker: | Barbara F. Csima, Cornell University |
| Location: | 693 Kerr |
| 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.