33 citations · 154 across the 37 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…