Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1

Leo Harrington, Richard A. Shore, Theodore A. Slaman. Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1. In Adam R. Day, Michael R. Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander G. Melnikov, Frances A. Rosamond, editors, Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday. Volume 10010 of Lecture Notes in Computer Science, pages 455-466, Springer, 2017. [doi]

Authors

Leo Harrington

This author has not been identified. Look up 'Leo Harrington' in Google

Richard A. Shore

This author has not been identified. Look up 'Richard A. Shore' in Google

Theodore A. Slaman

This author has not been identified. Look up 'Theodore A. Slaman' in Google