Logic

Mathematical logic is a branch of mathematics that deals with formal systems, symbolic logic, and the study of mathematical reasoning. It focuses on understanding the nature of mathematical reasoning and provides tools for analyzing the structure of mathematical arguments and proofs.  At MSCS, faculty members work in computability theory, model theory, and in applications of those to other areas of mathematics such as algebra, combinatorics, geometry and number theory.
Apr 8 2025

Logic Seminar: A Borovik-Cherlin bound for primitive pseudo-finite permutation groups, by Nick Ramsey

Tuesday, 3:30 pm–4:20 pm
636 SEO
Apr 15 2025

Logic Seminar: Quasirandomness of definable subsets of definable groups in finite fields, by Anand Pillay

Tuesday, 3:30 pm–4:20 pm
636 SEO
Apr 22 2025

Logic Seminar: TBA, by James Hanson

Tuesday, 3:30 pm–4:20 pm
636 SEO
Apr 29 2025

Logic Seminar: Differential-algebraic dimension in transserial tame pairs, by Nigel Pynn-Coates

Tuesday, 3:30 pm–4:20 pm
636 SEO