An effective version of the Stone duality

Nikolay A. Bazhenov, Iskander Sh. Kalimullin, Marina V. Schwidefsky

arXivarxiv/2604.04492Apr 6, 2026math.LOscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2604.04492
curl -X POST /api/v1/records/arxiv/2604.04492/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.04492/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'