D Mundici - On Logical, Algebraic, and Probabilistic Aspects of …, 2016 - Springer
Markov unrecognizability theorem puts an end to the classical program of equipping any
combinatorial manifold M with a computable set I _M of invariants such that a manifold N is …