Sigma(1)(1) in Every Real in a Sigma(1)(1) Class of Reals Is Sigma(1)(1)

Harrington, L; Shore, RA; Slaman, TA

Shore, RA (reprint author), Cornell Univ, Dept Math, Ithaca, NY 14853 USA.

COMPUTABILITY AND COMPLEXITY: ESSAYS DEDICATED TO RODNEY G. DOWNEY ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017; 10010 ( ): 455

Abstract

We first prove a theorem about reals (subsets of N) and classes of reals: If a real X is Sigma(1)(1) in every member G of a nonempty Sigma(1)(1) class......

Full Text Link