Showing math.LOShow all
2 papers · 1 filter
math.LO2025
A non-computable c.e. closed subset of
Serikzhan Badaev, Nikolay Bazhenov, Sergey Goncharov +2
We prove that there exists a closed subset of that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of that…
math.LO2024
Computable Gelfand Duality
Peter Burton, Christopher J. Eagle, Alec Fox +5
We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to compu…