Events by date

Ross Willard, Pure Mathematics Department, University of Waterloo

"Solving group constraints"

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.

Ren Zhu & Ruxandra Moraru, Pure Mathematics Deptartment, University of Waterloo

Please note room.

Ren Zhu will speak on “An introduction to sheaves”

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

Omitting Partial Types and Hyperimmune Degrees

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.

Elcim Elgun, Pure Mathematics Department, University of Waterloo

"The Construction a West Compactication of Z"