Computability Learning Seminar

**This seminar has been cancelled and is rescheduled for February 27, 2019**

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"The Isomorphism Problem for Pregeometries"

We continue our proof for showing that the isomorphism problem for rice pregeometries with Condition B  is $\Pi^0_3$-hard. 

MC 5413