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
Department of Mathematics & StatisticsMcMaster University Hamilton Hall, Room 218 1280 Main Street West Hamilton, Ontario, Canada L8S 4K1
Office Hours: 8:30 a.m. - 12:00 p.m. 1:00 p.m. - 4:30 p.m. Telephone Inquiries: +1 (905) 525-9140 ext.27034 Undergrad Email Inquiries: firstname.lastname@example.org