Skip to McMaster Navigation Skip to Site Navigation Skip to main content
McMaster logo

Mathematical Logic

Mathematical Logic

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.

Information Box Group

Bradd Hart


On research leave July 1, 2022 - June 30, 2023