Mathematical Research Letters
Volume 26 (2019)
Certifying a compact topological $4$-manifold
Pages: 67 – 74
We prove that compact topological $4$-manifolds can be effectively presented by a finite amount of data.
The second author acknowledges support of the 2013 ERC Advanced Research Grant 340258 TADMICAMT. He is also a member of GNSAGA – Istituto Nazionale di Alta Matematica “Francesco Severi”, Italy.
Received 14 October 2018