The Evelyn Nelson Lectures
2016-2017 Lecture Friday, February 10, 2017 3:30-5:00 pm HH/305 Dr. Ross Willard Department of Pure Mathematics University of Waterloo Finiteness conditions on the equational laws of finite algebraic structures An enduring problem in universal algebra is the quixotic attempt to understand all finite algebraic structures: not only those found in nature (finite groups, rings, semigroups, etc), but also the bizarre creatures that exist only in mathematical laboratories. To make this ridiculous program semi-feasible, universal algebraists lower their expectations and seek to answer only the simplest questions about finite algebraic structures, such as questions that can be framed in terms of their equational laws. In this talk I will describe two such simple questions and a conjecture (due to Bjarni Jonsson in the 1970s) which links them. | Evelyn M. Nelson 1943 - 1987 Dr. Evelyn Nelson was a member of the Department at the time of her death in 1987. In her memory and in recognition of her contributions to the University and the Mathematical Community, the Department, with the generous support of her many friends and colleagues, established the Evelyn Nelson Lecture Series. This lecture series has focused on matters relating to the Foundations of Mathematics. |
Past Nelson Lectures:
2015-2016 | Philipp Hieronymi | |
2014-2015 | Jaroslav Nesetril | |
2013-2014 | Ilijas Farah | |
2012–2013 | Philipp Habegger | |
2011–2012 | Michael Singer | Factorization of partial differential operators and differential algebraic groups |
2010–2011 | Sergei Starchenko | O-minimality and Diophantine geometry |
2009–2010 | Alasdair Urquhart | Von Neumann, Godel and complexity theory |
2008–2009 | Alex Wilkie | Model theory and analytic continuation for implicitly defined functions |
2007–2008 | Phokion Kolaitis | Constraint satisfaction, complexity, and logic |
2006–2007 | Julia Knight | Comparing classes of structures |
2005–2006 | Michael Shub | Computing over the real and complex numbers |
2004–2005 | Thomas Scanlon | A logical perspective on difference equations |
2003–2004 | Ya'acov Peterzil | Definable groups in o-minimal structures |
2002–2003 | Alexander Kechris | Applications of ergodic theory to set theory |
2001–2002 | Patrick Speissegger | Constructing o-minimal structures |
2000–2001 | Dugald Macpherson | Reconstructing models from their automorphism groups |
1999–2000 | Toni Pitassi | A new proof of the weak pigeonhole principle |
1998–1999 | Olga Kharlampovich | Equations and first-order formulas over free and fully residually free groups |
1996–1997 | Chris Laskowski | What do the law of large numbers, PAC learning, neural networks and model theory have in common? |
1994–1995 | Askold Khovanskii | Newton polyhedra |
1994–1995 | Dave Marker | Model theory and exponentiation |
1993–1994 | Lou van den Dries | Logic and local fields |
1992–1993 | Ralph McKenzie | Equations, lattices and structure: sixty years of research in universal algebra |
1991–1992 | Angus Macintyre | Model theory of analytic functions |