\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture

DOI10.1007/BF02802493zbMath0976.03049MaRDI QIDQ5937666

Theodore A. Slaman, Yue Yang, Lei Quian, Chi Tat Chong

Publication date: 31 July 2001

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

minimal pairs; \(\Sigma_2\) collection; \(\Sigma_2\) induction; \(B\Sigma_2\) model; recursively enumerable

Mathematics Subject Classification ID

03D25: Recursively (computably) enumerable sets and degrees