Events

Filter by:

Limit to events where the title matches:
Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Wednesday, October 15, 2014 3:30 pm - 3:30 pm EDT (GMT -04:00)

Logic Seminar

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

“A model theory for meromorphic dynamics?”

Tuesday, October 28, 2014 10:30 am - 10:30 am EDT (GMT -04:00)

“Adding Gaussian elimination to local consistency checking”

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.

Tuesday, November 4, 2014 10:30 am - 10:30 am EST (GMT -05:00)

“Adding Gaussian elimination to local consistency checking - 4”

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

Tuesday, November 11, 2014 3:30 pm - 3:30 pm EST (GMT -05:00)

"Goncharov's Theorem"

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

Tuesday, November 18, 2014 3:30 pm - 3:30 pm EST (GMT -05:00)

“Computable Model Theory of Torsion-Free Abelian Groups”

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

Friday, January 16, 2015 1:00 pm - 1:00 pm EST (GMT -05:00)

Working Seminar on Approximate Groups - Introduction

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.

Friday, January 23, 2015 1:00 pm - 1:00 pm EST (GMT -05:00)

"Approximate Groups: I"

Jason Bell, Department of Pure Mathematics, University of Waterloo

We continue to follow van den Dries Seminaire Bourbaki article entitled Approximate Groups [after Hrushovski, and Breuillard, Green, Tao]. The subject involves the interaction of additive combinatorics and model theory.

MC 5413