Enumerations in computable structure theory

Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon. Enumerations in computable structure theory. Annals of Pure and Applied Logic, 136(3):219-246, 2005. [doi]

Abstract

Abstract is missing.