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

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