activity
20012026
most citedThe van Kampen obstruction and its relatives

33 citations · 154 across the 37 of their papers we have counts for

collaborators

41 papers

math.GT2026

Satellites and invariants of links

Sergey A. Melikhov

An invariant of -component links is called "cableable" if there exists a such that whenever a link is obtained from a link by replacing each kno…

math.LO2025

A joint logic of problems and propositions

Sergey A. Melikhov

In a 1985 commentary to his collected works, Kolmogorov informed the reader that his 1932 paper 'On the interpretation of intuitionistic logic' "was written in hope that with time,…

math.GT2025

Local knots and the prime factorization of links

Sergey A. Melikhov

The present note contains a new proof of Y. Hashizume's 1958 theorem that every non-split link in admits a unique factorization into prime links. While the new proof does not…

math.GT2024

Is every knot isotopic to the unknot?

Sergey A. Melikhov

In 1974, D. Rolfsen asked: Is every knot in isotopic (=homotopic through embeddings) to a PL knot or, equivalently, to the unknot? In particular, is the Bing sling isotopic t…

math.GT2024

Topological isotopy and finite type invariants

Sergey A. Melikhov

In 1974, D. Rolfsen asked: If two PL links in are isotopic (=homotopic through embeddings), then are they PL isotopic? We prove that they are PL isotopic to another pair of l…

math.AT2022

Fine shape II: A Whitehead-type theorem

Sergey A. Melikhov

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spac…