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

McMaster University will continue to host undergraduate academic activities remotely for the Spring/Summer/Intersession term with only a few exceptions for courses that need student access to specialized equipment.

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