On \(\Pi{}^ 0_ 1\) classes and their ranked points (Q1182688)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(\Pi{}^ 0_ 1\) classes and their ranked points |
scientific article |
Statements
On \(\Pi{}^ 0_ 1\) classes and their ranked points (English)
0 references
28 June 1992
0 references
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)].
0 references
Turing degrees
0 references
completely ranked degree
0 references