1 paper · 2 filters
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…