Events - May 2012

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.

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.

Yen-Liang Kuan, National Central University, Taiwan

"On the distribution of torsion points modulo primes - Part II."

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

Speaker

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

Speaker

Shuntaro Yamagishi, Department of Pure Mathematics, University of Waterloo