Events

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Adding Gaussian elimination to local consistency checking”

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 o

Mohamed El Alami, Department of Pure Mathematics, University of Waterloo

“More K0”

After we defined K0, the Grothendieck group for a ring, we saw some of its properties, and how it is related to the divisor class group.

Denis Hirschfeldt, University of Chicago

“Computability Theoretic Reduction between Pi12Principles”

Many mathematical principles can be stated in the form ”for all X such that C(X) holds, there is a Y such that D(X,Y) holds”, where X and Y range over second order objects, and C and D are arithmet

Phillip Xiao, Department of Pure Mathematics, University of Waterloo

“K-theory for C*-algebras and vector bundles - Part I”

I will introduce the K0 group for unital C*-algebras and the K0

Ruxandra Moraru, Department of Pure Mathematics, University of Waterloo

“Varieties versus schemes, Part II”

Last week, we saw examples of schemes that illustrated how, in some cases, schemes provide a better framework for studying families or intersections of varieties than classical algebraic geometry.

Alan Thompson, Department of Pure Mathematics, University of Waterloo

“Calabi-Yau threefolds fibred by lattice polarized K3 surfaces”

I describe recent joint work with C. Doran, A. Harder and A.

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Adding Gaussian elimination to local consistency checking - 4”

In this fourth of several lectures, I analyze singular pairs of variables, realizing their singu- larity in the congruence lattice of their associated

Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo

“Goodbye K0 ... Hello K1!”

All good things come to an end. For K0, now is that time.