On \(\Pi{}^ 0_ 1\) classes and their ranked points (Q1182688): Difference between revisions

It is proved that there is a completely ranked degree below \(\underset\widetilde{} 0''\), i.e. there exists \(\underset\widetilde{} a\) with \(\underset\widetilde{} 0<\underset\widetilde{} a<\underset\widetilde{} 0'\) such that if \(A\in\underset\widetilde{} a\), then \(A\) is ranked. Indeed for all \(B\leq_ T A\), \(B\) has rank \(\leq 1\). From this follows the solution of a problem of \textit{D. Cenzer} and \textit{R. L. Smith} [J. Symb. Logic 54, 975- 991 (1989; Zbl 0689.03022)].