Geometric Topology (embedding theory, links modulo knots, combinatorial topology and its foundations, resolution of singularities) Algebraic Topology of metrizable spaces and 0-dimensional groups
Foundations of Mathematics (homotopy type theory, conservative extensions of intuitionistic logic, semantics of the meta-logic of first-order logics)
Biography
Born in 1980. Graduated from Lomonosov Moscow State University (2001) and from a math class at Moscow State 57th School (1996).
Ph.D. from University of Florida (2005) and another Ph.D. (k.f.-m.n.) from Steklov Math. Institute (2004); the two dissertations have no overlap in content.
From 2005: Research Fellow at Steklov Math. Institute, Moscow (Senior R.F. from 2008). Held visiting positions at The University of Tennessee (2007–08), Dartmouth College (Fall 2012), Institute for Advanced Study (2013).
Awards include: Möbuis Contest Prize of the Independent University of Moscow (2000) and Russian Academy of Sciences Medal for Young Scientists (2006).
Main publications:
S. A. Melikhov, “Topological isotopy and Cochran’s derived invariants”, Topology, Geometry, and Dynamics: V. A. Rokhlin Memorial, Contemporary Mathematics, 772, eds. A. M. Vershik, V. M. Buchstaber, A. V. Malyutin, Amer. Math. Soc., Providence, RI, 2021, 249–266 arXiv: 2011.01409
S. A. Melikhov, “Lifting generic maps to embeddings. The double point obstruction”, Essays on Topology - Dedicated to Valentin Poénaru, eds. L. Funar and A. Papadopoulos, Springer, 2025, 237–288 , arXiv: 1711.03518
2.
S. A. Melikhov, Local knots and the prime factorization of links, 2025 , 10 pp., J. Knot Theory Ram. (to appear), arXiv: 2511.19579
3.
S. A. Melikhov, “Satellites and invariants of links”, Geometriya i Topologiya. 14, Zap. nauch. sem. POMI, 2025, 50 str. (to appear)
2024
4.
S. A. Melikhov, Two-variable Conway polynomial and Cochran's derived invariants, 2024 , 36 pp., arXiv: math.GT/0312007v3
5.
S. A. Melikhov, “A joint logic of problems and propositions”, Doklady Math., 109:2 (2024), 130–139
6.
S. A. Melikhov, Is every knot isotopic to the unknot?, 2024 , 61 pp., arXiv: 2406.09365
7.
S. A. Melikhov, Topological isotopy and finite type invariants, 2024 , 50 pp., arXiv: 2406.09331
2022
8.
S. A. Melikhov, A Galois connection between classical and intuitionistic logics. I: Syntax, 2022 , 47 pp., arXiv: 1312.2575v5
S. A. Melikhov, Coronated polyhedra and coronated ANRs, 2022 , 25 pp., arXiv: 2211.09951
18.
S. A. Melikhov, Fine shape II: A Whitehead-type theorem, 2022 , 33 pp., arXiv: 2211.11102
19.
S. A. Melikhov, Fine shape III: $\Delta$-spaces and $\nabla$-spaces, 2022 , 25 pp., arXiv: 2211.11101
20.
S. A. Melikhov, Topology of Metric Spaces, ResearchGate, 2022 , 254 pp.
21.
V. I. Buslaev, V. M. Buchstaber, A. N. Dranishnikov, V. M. Kliatskine, S. A. Melikhov, L. Montejano, S. P. Novikov, P. V. Semenov, “Evgenii Vital'evich Shchepin (on his 70th birthday)”, Russian Math. Surveys, 77:3 (2022), 559–569
2021
22.
S. A. Melikhov, “Topological isotopy and Cochran's derived invariants”, Topology, Geometry, and Dynamics: V. A. Rokhlin Memorial, Contemp. Math., 772, Amer. Math. Soc., Providence, RI, 2021, 249–266 , arXiv: 2011.01409
P. M. Akhmetiev, S. A. Melikhov, “Projected and near-projected embeddings”, J. Math. Sci, 255:2 (2021), 155–174
2019
25.
S. A. Melikhov, “A note on O. Frolkina`s paper “Pairwise disjoint Moebius bands in space””, J. Knot Theory Ramif., 28:7 (2019), 1971001 , 3 pp., arXiv: 1810.04089
S. Melikhov, Combinatorics of combinatorial topology, 2018 , 72 pp., arXiv: 1208.6309v2
27.
S. A. Melikhov, “Immersions of the circle into a surface”, Sb. Math., 209:4 (2018), 503–518
28.
S. A. Melikhov, Algebraic topology of Polish spaces. II: Axiomatic homology, 2018 , 24 pp., arXiv: 1808.10243
29.
S. A. Melikhov, “Self $C_2$-equivalence of two-component links and invariants of link maps”, J. Knot. Theory Ram., 27:13 (2018), 1842012 , 22 pp., arXiv: 1711.03514
2017
30.
S. A. Melikhov, Mathematical semantics of intuitionistic logic, 2017 , 179 pp., arXiv: 1504.03380v3
31.
S. A. Melikhov, “Topologiya dokazatelstv”, Konkurs Mëbiusa glazami ego pobeditelei, MTsNMO, Moskva, 2017, 28–33www.mccme.ru/free-books/moebius20.pdf
2015
32.
S. A. Melikhov, “Transverse Fundamental Group and Projected Embeddings”, Proc. Steklov Inst. Math., 290 (2015), 155–165 , arXiv: 1505.00505
2013
33.
S. Melikhov, J. Zaja̧c, “Contractible polyhedra in products of trees and absolute retracts in products of dendrites”, Proc. Amer. Math. Soc., 141:7 (2013), 2519–2535 , arXiv: 1102.0696
S. A. Melikhov, D. Repovš, “$n$-Quasi-isotopy. I. Questions of nilpotence”, J. Knot Theory Ramifications, 14:5 (2005), 571–602 , arXiv: math.GT/0103113
Инварианты топологической изотопии S. A. Melikhov Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2021 November 24, 2021 14:40
34.
Slim shape S. A. Melikhov Algebraic topology and its applications. Postnikov memorial seminar October 19, 2021 16:45
Lim colim versus colim lim Sergey A. Melikhov International conference "Algebraic Topology, Combinatorics, and Mathematical Physics" on occasion of Victor Buchstaber's 75th birthday May 24, 2018 17:00
46.
Lim colim versus colim lim S. A. Melikhov Algebraic topology and its applications. Postnikov memorial seminar April 24, 2018 16:45