Well-Orders Realized by C.E. Equivalence Relations

Nikolay Bazhenov, Maxim V. Zubkov. Well-Orders Realized by C.E. Equivalence Relations. 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 13-23, Springer, 2022. [doi]

Abstract

Abstract is missing.