Reverse Mathematics and Computability Theory of Domain Theory

Sam Sanders. Reverse Mathematics and Computability Theory of Domain Theory. In Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Volume 11541 of Lecture Notes in Computer Science, pages 550-568, Springer, 2019. [doi]

Abstract

Abstract is missing.