Modal languages for topology: Expressivity and definability B Ten Cate, D Gabelaia, D Sustretov Annals of Pure and Applied Logic 159 (1-2), 146-170, 2009 | 48 | 2009 |
Incidence systems on Cartesian powers of algebraic curves A Hasson, D Sustretov arXiv preprint arXiv:1702.05554, 2017 | 11 | 2017 |
The quantum harmonic oscillator as a Zariski geometry V Solanki, D Sustretov, B Zilber Annals of Pure and Applied Logic 165 (6), 1149-1168, 2014 | 9 | 2014 |
Quantum harmonic oscillator as a Zariski geometry B Zilber, V Solanki, D Sustretov arXiv preprint arXiv:0909.4415, 2009 | 6 | 2009 |
Gromov-Hausdorff limits of flat Riemannian surfaces D Sustretov arXiv preprint arXiv:1802.03818, 2018 | 5 | 2018 |
Hybrid logics of separation axioms D Sustretov Journal of Logic, Language and Information 18, 541-558, 2009 | 5 | 2009 |
Hybrid definability in topological spaces D Sustretov | 5 | 2005 |
Topological semantics and decidability D Sustretov arXiv preprint math/0703106, 2007 | 4 | 2007 |
Gromov-Hausdorff limits of flat Riemannian surfaces and non-Archimedean geometry” D Sustretov arXiv preprint arXiv:1802.03818, 2018 | 3 | 2018 |
Non-algebraic Zariski geometries D Sustretov Oxford University, UK, 2012 | 3 | 2012 |
Elimination of generalised imaginaries and Galois cohomology D Sustretov arXiv preprint arXiv:1312.2273, 2013 | 2 | 2013 |
Hessian metrics with distribution coefficients on a 2-sphere D Sustretov arXiv preprint arXiv:2212.10640, 2022 | 1 | 2022 |
Combinatorial part of the cohomology of the nearby fibre D Sustretov arXiv preprint arXiv:2202.08888, 2022 | 1 | 2022 |
Motivic volume of families of polarized rigid-analytic tori D Sustretov arXiv preprint arXiv:1805.04942, 2018 | 1 | 2018 |
Incidence systems on Cartesian powers of curves A Hasson, D Sustretov Preprint, 2017 | 1 | 2017 |
Generalised imaginaries and galois cohomology D Sustretov The Journal of Symbolic Logic 81 (3), 917-935, 2016 | 1 | 2016 |
Experiments in Theorem Proving for Topological Hybrid Logic D Sustretov, G Hoffmann, C Areces, P Blackburn Electronic Notes in Theoretical Computer Science 231, 309-321, 2009 | 1 | 2009 |
Topological semantics for hybrid logic D Sustretov | | 2010 |
Strongly minimal reducts of higher-dimensional varieties D Sustretov | | |
Twelfth ESSLLI Student Session VV Nurmi, D Sustretov | | |