Logic seminar

Ross Willard, Pure Mathematics Department, University of Waterloo

"Two problems at the intersection of universal algebra and logic"

Universal algebra has its roots in logic, and occasionally its problems approach the domain of logic. In this lecture I will explain two old open problems of this kind, both involving (incomplete) theories axiomatizable by equations.

Please note the time - regular time for Logic seminars will be 3:30pm.