Ingo Blechschmidt, Peter Schuster 0001. Maximal Ideals in Countable Rings, Constructively. In Ulrich Berger 0001, Johanna N. Y. Franklin, Florin Manea, Arno Pauly, editors, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings. Volume 13359 of Lecture Notes in Computer Science, pages 24-38, Springer, 2022. [doi]
Abstract is missing.