Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"The Isomorphism Problem for Pregeometries"

We show that the isomorphism problem for rice pregeometries in which dependent elements are dense (Condition B)  is $\Pi^0_3$-hard.

MC 5413