Model Theory Seminar
Patrick Speissegger, McMaster University
"Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality"
Patrick Speissegger, McMaster University
"Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality"
Pop by the Mathematics 3 (M3) Atrium any time throughout the day and watch as the omnitruncated dodecaplex comes together. Piece-by-piece the 3D polytope model will be put together by Professor Benoit Charbonneau and student, staff, and faculty volunteers. At the end of the day it will rise up and be a permanent art installation in M3.
Siddharth Mathur, University of Arizona
"Azumaya Algebras and the Resolution Property"
Azumaya algebras, are (etale) twisted forms of matrix rings. These objects are of great utility because they give rise to Brauer classes. Fifty years ago, Grothendieck asked whether every cohomological Brauer class has a corresponding Azumaya algebra. This question is still open even for smooth separated threefolds over the complex numbers!
Michael Lipnowski, McGill University
"Algorithms for the topology of arithmetic groups"
Integer matrix Lie groups \Gamma carry extremely deep arithmetic information. Topological invariants of \Gamma are particularly interesting. I will describe an algorithm which, given \Gamma, computes the homology of \Gamma together with the action of certain correspondences on it (Hecke operators). Joint work with Aurel Page.
MC 5501
Levon Haykazyan, Department of Pure Mathematics, University of Waterloo
"Coherence"
We discuss sections 2.2 and 2.3 of the Bakker-Brunebarbe-Tsimerman paper.
MC 5479
Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo
"The Isomorphism Problem for Pregeometries"
We show that the isomorphism problem for rice pregeometries in which dependent elements are dense (Condition B) is $\Pi^0_3$-hard.
MC 5413
Ross Willard, Department of Pure Mathematics, University of Waterloo
"Dualizing structures that are necessarily of infinite signature, part 2: proof of duality"
In this lecture I will give Pitkethly’s proof that her schizophrenic pair (described in the seminar the previous week) is in fact a dualizing pair.
MC 5479
Rémi Jaoui, Department of Pure Mathematics, University of Waterloo
"Pseudo-finite sets and dimension, Part 7"
In my talk, I will explain a proof of the stabilizer theorem in the combinatorial setting (Sanders' Theorem) using the independence theorem of probability logic.
MC 5403
Remi Jaoui, Department of Pure Mathematics, University of Waterloo
"Coherence"
We discuss sections 2.2 and 2.3 of the Bakker-Brunebarbe-Tsimerman paper.
MC 5479
Richard Gottesman, Queen's University
"Vector-Valued Modular Forms on $\Gamma_0(2)$"