Fall 2025
Filippo Calderoni
Course Description:
This course is an introduction to mathematical logic, and basic model theory aimed at working mathematicians. The focus will be on the methods, rather than the foundational and metamathematical aspects.
The topics tentatively include:
First-order logic and definability, Ultraproducts, Compactness theorem, quantifier eliminations for algebraic closed fields, Hilbert's Nullstellensatz, o-minimality.
Text:
There is no mandatory texbook. The instructor will provide lecture notes and suggest additional readings.
Prereq:
The course will be accessible for any graduate student. One previous semester of graduate level course work would be helpful, but not required.al
*********************************************************
Spring 2024
Dima Sinapova
Course Description:
Introduction to model theory and computability; Godel's Completeness and Incompleteness theorems.
Text:
Instructor's notes/tba
Prereq:
General mathematical maturity /instructor's approval