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
    0 references
    Turing degrees
    0 references
    completely ranked degree
    0 references
    0 references
    0 references