Σ _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]

Abstract

Abstract is missing.