4 citations · 9 across the 10 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2015
A quotient-like construction involving elementary submodels
Peter Burton
This article is an investigation of a method of deriving a topology from a space and an elementary submodel containing it. We first define and give the basic properties of this con…