Computability Learning Seminar
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