Mathematics Colloquia and Seminars

Return to Colloquia & Seminar listing

Turing Degrees of Prime Models


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.