MATH 433: Model Theory

2009 Trimester 2

MATH 433 CRN 7674, 15 Points (2009 2/3)
Coordinator: Prof Noam Greenberg
Recommended Reading: David Marker: Model Theory: An Introduction; Leonid Libkin: Elements of Finite Model Theory
Description: Model Theory is the study of the interaction between symbolic languages and the mathematical structures that they describe. The course builds upon ideas first presented in MATH 309/409 in developing methods of constructing models and applications of the methods in the context of first-order logic. This includes both the more traditional study of infinite models, emphasizing set theory and applications to algebra and number systems, and, subject to interest, the more recent finite model theory with applications to theoretical computer science. Some knowledge of algebra and of set theory (MATH 434) is helpful, but not essential.

Home Page 

View next year >