The president’s talk, the final Mathsoc talk of the year, is by Andreea Nicoara this year, entitled: O-minimality and Other uses of Logic in Standard Mathematics. It is taking place at 7pm on Thursday in the Maxwell theatre.
The abstract for the talk:
There are far deeper connections among fields of mathematics than you get to see as an undergraduate. I will discuss how o-minimality, a construction from model theory, has been used to prove important results in real algebraic geometry and mention other uses of logic in number theory and complex algebraic geometry.