On the homeomorphism problem for 4-manifolds

Abstract

We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S^2 \times S^2.

6 pages