“Complexity of Young’s Lattice”
Alex Wires, Department of Pure Mathematics, University of Waterloo
Alex Wires, Department of Pure Mathematics, University of Waterloo
Rahim Moosa, Department of Pure Mathematics, University of Waterloo
“A model theory for meromorphic dynamics?”
Ross Willard, Department of Pure Mathematics, University of Waterloo
In this third of several lectures, I begin the analysis of a template which has a Maltsev polymorphism and which survives the search for an inconsistency outlined in the first two lectures.
Denis Hirschfeldt, University of Chicago
Ross Willard, Department of Pure Mathematics, University of Waterloo
In this fourth of several lectures, I analyze singular pairs of variables, realizing their singu- larity in the congruence lattice of their associated constraint relation.
MC 5158B
Mohammad Mahmoud, Department of Pure Mathematics University of Waterloo
We continue through the proof of Goncharov’s Theorem from Mcpherson’s research paper.
MC 5046
Sam Eisenstat, Department of Pure Mathematics, University of Waterloo
Countable torsion-free abelian groups are very complicated objects in general. We focus on groups that are direct sums of subgroups of $\mathbb{Q}$ and investigate their computability-theoretic properties. We look at degree spectra, categoricity, complexity of presentations, and complexity of the index and isomorphism problems. $\Sigma_{7}$ shows up!
But first, we let Mohammad finish his lemma from last time.
MC 5046
Keng Meng (Selwyn) Ng, Nanyang Technological University
Rahim Moosa, Department of Pure Mathematics, University of Waterloo
We intend in this seminar to read Lou van den Dries’ Seminaire Bourbaki article entitled ”Approx- imate Groups [after Hrushovski, and Breuillard, Green, Tao]”. The subject involves the interaction of additive combinatorics and model theory. I will give an informal introduction, focusing on the statement of the main theorem.
Jason Bell, Department of Pure Mathematics, University of Waterloo
MC 5413