Time: Thursday, March 23, 4:00-5:00pm
Place: Phillips Hall, Room 736
Speaker: Meng-Che (Turbo) Ho, California State University, Northridge
Title: Classification from the point of view of logic
Abstract: Mathematical logic seeks to analyze mathematics via the application of formal logic. In many areas of mathematics, one major goal is to classify all mathematical structures of a certain kind. Naturally, logicians have tried to formalize the notion of classification.
In this talk, we will discuss how to formalize classification problems via computable structure theory and descriptive set theory. These frameworks provide ways to reduce one classification problem to another. We use such frameworks to study classification problems from group theory and prove hardness results, namely give lower bounds on the complexities of these classification problems.
This talk assumes no prior experience with Logic. Part of the talk is based on joint work with Matthew Harrison-Trainor, Julia Knight, and Russell Miller.