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.
|