Mathematical Logic is the study of underlying patterns of algebraic and geometric structures.

All courses for every first-year Science student will be delivered online this fall. A limited number of students in their second, third and fourth years will return to campus for part of the semester.

Model theory is a branch of logic that studies the underlying patterns of algebraic and geometric structures. At McMaster, faculty members work in pure and applied model theory, such as classification of equational classes, stability theory, and applications to valued fields and real analytic geometry.

Model theory and mathematical logic

Mathematical Logic, Model theoretic algebra

Mathematical Logic, Model theory and real analytic geometry

Mathematical logic and universal algebra