Follow
Dmitry Sustretov
Dmitry Sustretov
Unknown affiliation
Verified email at hcoop.net
Title
Cited by
Cited by
Year
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
482009
Incidence systems on Cartesian powers of algebraic curves
A Hasson, D Sustretov
arXiv preprint arXiv:1702.05554, 2017
102017
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
92014
Quantum harmonic oscillator as a Zariski geometry
B Zilber, V Solanki, D Sustretov
arXiv preprint arXiv:0909.4415, 2009
62009
Gromov-Hausdorff limits of flat Riemannian surfaces
D Sustretov
arXiv preprint arXiv:1802.03818, 2018
52018
Hybrid logics of separation axioms
D Sustretov
Journal of Logic, Language and Information 18, 541-558, 2009
52009
Hybrid definability in topological spaces
D Sustretov
52005
Topological semantics and decidability
D Sustretov
arXiv preprint math/0703106, 2007
42007
Gromov-Hausdorff limits of flat Riemannian surfaces and non-Archimedean geometry”
D Sustretov
arXiv preprint arXiv:1802.03818, 2018
32018
Non-algebraic Zariski geometries
D Sustretov
Oxford University, UK, 2012
32012
Elimination of generalised imaginaries and Galois cohomology
D Sustretov
arXiv preprint arXiv:1312.2273, 2013
22013
Hessian metrics with distribution coefficients on a 2-sphere
D Sustretov
arXiv preprint arXiv:2212.10640, 2022
12022
Combinatorial part of the cohomology of the nearby fibre
D Sustretov
arXiv preprint arXiv:2202.08888, 2022
12022
Motivic volume of families of polarized rigid-analytic tori
D Sustretov
arXiv preprint arXiv:1805.04942, 2018
12018
Incidence systems on Cartesian powers of curves
A Hasson, D Sustretov
Preprint, 2017
12017
Generalised imaginaries and galois cohomology
D Sustretov
The Journal of Symbolic Logic 81 (3), 917-935, 2016
12016
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
12009
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
The system can't perform the operation now. Try again later.
Articles 1–20