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

All first-year Science courses will be delivered virtually for Winter 2021. Due to the COVID-19 provincial lock-down, all students who were expecting in-person labs, should check their McMaster e-mail for important winter announcements..

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