{"id":"arxiv/2604.04492","url":"https://arxiv.org/abs/2604.04492","tags":["math.LO"],"score":0,"title":"An effective version of the Stone duality","domain":"math.LO","source":"arxiv","authors":["Nikolay A. Bazhenov","Iskander Sh. Kalimullin","Marina V. Schwidefsky"],"reviews":0,"subject":"math.LO","summary":"The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an effective version of the known Stone-type duality between the category $\\mathbf{AS}$ (whose objects are almost semispectral spaces with base and whose morphisms are spectral mappings) and the category $\\mathbf{DP}$ (whose objects are distributive $c$-posets and whose morphisms are strict mappings). Namely, we show that for an arbitrary set $Z\\subseteq ω$, this…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-06","reactions":{}}