Matthew de Brecht. Some Notes on Spaces of Ideals and Computable Topology. In Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly, editors, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings. Volume 12098 of Lecture Notes in Computer Science, pages 26-37, Springer, 2020. [doi]
Abstract is missing.