Simpler algorithmically unrecognizable 4-manifolds

Martin Tancer

Markov proved that there exists an unrecognizable 4-manifold, that is, a 4-manifold for which the homeomorphism problem is undecidable. In this paper we consider the question how c…