Model Theory and Computable Model Theory
February 05 - 10, 2007
Meeting Information:
The workshop on Model Theory and Computable Model theory will explore connections to algebra.
Tutorial Lecturers:
- Model theory and connections to algebra
- Thomas Scanlon
- Computable model theory
- Julia Knight
Organizing Committee:
- Valentina S. Harizanov, George Washington University
- David Marker, University of Illinois, Chicago
- Carol Wood, Wesleyan University
Local Organizing Committee
- Douglas Cenzer
- Jindrich Zapletal
logicyear@clas.ufl.edu