Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

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:
Tuesday, March 3, 2015 3:30 pm - 3:30 pm EST (GMT -05:00)

“Introduction to Reverse Mathematics”

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

We continue our introduction by clarifying some elementary notions and results aiming to end with a full computability-theoretic characterization of the ω-models of our systems RCA0 and ACA0.

MC 5413

Tuesday, March 10, 2015 3:30 pm - 3:30 pm EDT (GMT -04:00)

“Introduction to Reverse Mathematics (continued) ”

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

We finish characterizing the ω−modelsofRCA0. If time helps, we continue doing the same for ACA0. If time permits, Michael Deveau will do the same for ACA_0.

MC 5413

Friday, March 13, 2015 1:00 pm - 1:00 pm EDT (GMT -04:00)

“Approximate Groups: VII”

Rahim Moosa, 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

Tuesday, March 17, 2015 2:30 pm - 2:30 pm EDT (GMT -04:00)

“Cubing Finite Taylor Algebras”

Alexander Wires, Department of Pure Mathematics, University of Waterloo

I will provide the details showing how finite idempotent Taylor algebras can be character- ized by the hereditary existence of cubed elements. There is a corresponding notion of cube absorption which can be described as Few Subpowers and Absorption Theory in a blender. If there is time, I would like to pose a problem here.

MC 5479

Friday, March 20, 2015 1:00 pm - 1:00 pm EDT (GMT -04:00)

"Approximate Groups: VIII"

Rahim Moosa, 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

Tuesday, March 24, 2015 2:30 pm - 2:30 pm EDT (GMT -04:00)

“A CSP algorithm and some work towards a better one”

Ian Payne, Department of Pure Mathematics, University of Waterloo

I will talk about a CSP algorithm that works when each potato has a special congruence. That is, the quotient by it is a semilattice, and each block of it is Maltsev (plus a bit more). After that, I’ll talk about some effort to weaken the word semilattice in the previous sentence.

MC 5479

Monday, March 30, 2015 1:00 pm - 1:00 pm EDT (GMT -04:00)

"Finale"

Jason Bell and Rahim Moosa, Department of Pure Mathematics, University of Waterloo

We wrap up proof of the approximate group theorem.

Monday, March 30, 2015 1:00 pm MC 5479


** Please note Day and Room**