## Contact Info

Pure MathematicsUniversity of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x43484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

Thursday, May 31, 2012 — 1:00 PM to 2:00 PM EDT

Wednesday, May 30, 2012 — 4:30 PM to 5:30 PM EDT

Wednesday, May 30, 2012 — 3:30 PM to 4:30 PM EDT

We will show that hyperimmune degrees are able to omit non-principal partial types, and in fact are the only such types. By seeing that this proof can be carried out in RCA0, we will show that omitting partial types and the existence of hyperimmune degrees are equivalent over RCA0.

Wednesday, May 30, 2012 — 1:00 PM to 4:00 PM EDT

Please note room.

Wednesday, May 30, 2012 — 10:30 AM to 12:30 PM EDT

This is the first lecture in an ongoing learning seminar devoted to learning some recent algorithms for "fixed finite template" constraint satisfaction problems. In this lecture I will give a quick introduction to these problems, and then describe an algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group Wednesday.

Tuesday, May 29, 2012 — 2:30 PM to 3:30 PM EDT

We will introduce three axioms on a Noetherian topological structure which, together with the Krull dimension, are sufficient to make the topological structure a one-dimensional presmooth Zariski structure. We will show that such a structure has quantifier elimination, and satisfies the addition formula AF if the fibre condition FC holds.

Tuesday, May 29, 2012 — 10:00 AM to 12:00 PM EDT

Let A be a commutative algebraic group dened over a number eld K. For a prime } in K where A has good reduction, let N};n be the number of n-torsion F}-rational points of the reduction of A modulo } where F} is the residue eld of } and n is a positive integer. When A is of dimension one

Wednesday, May 23, 2012 — 3:40 PM to 5:00 PM EDT

Matthew Harrison-Trainor

Pure Mathematics University of Waterloo

Abstract:

Wednesday, May 23, 2012 — 1:00 PM to 4:00 PM EDT

Abstract:

Tuesday, May 22, 2012 — 2:30 PM to 3:00 PM EDT

Abstract:

We will see why the title of the talk is true. More specifically, if Q is definable set in a Zariski structure then RM(Q) ≤ dimQ.

Tuesday, May 22, 2012 — 10:00 AM to 12:00 PM EDT

Thursday, May 17, 2012 — 1:00 PM EDT

Robert Garbary, Department of Pure Mathematics, University of Waterloo

Wednesday, May 16, 2012 — 4:00 PM EDT

Matthew Harrison-Trainor, Department of Pure Mathematics, University of Waterloo

Wednesday, May 16, 2012 — 3:30 PM EDT

Pedro Vieira, Perimeter Institute

Wednesday, May 16, 2012 — 1:00 PM EDT

Tuesday, May 15, 2012 — 2:30 PM EDT

Adam Gutter, Department of Pure Mathematics, University of Waterloo

Tuesday, May 15, 2012 — 10:00 AM EDT

Shuntaro Yamagishi, Department of Pure Mathematics, University of Waterloo

Thursday, May 10, 2012 — 1:00 PM EDT

Robert Garbary, Pure Math Department, University of Waterloo

Tuesday, May 8, 2012 — 2:30 PM EDT

Adam Gutter, University of Waterloo

Tuesday, May 8, 2012 — 10:00 AM EDT

Cassie Naymie, Department of Pure Mathematics, University of Waterloo

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x43484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1

The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.