Superhighness (Q987937)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Superhighness |
scientific article |
Statements
Superhighness (English)
0 references
2 September 2010
0 references
In the paper under review, the authors prove that: {\parindent5mm \begin{itemize}\item[1)] There is a superhigh jump-traceable set; \item[2)] The class of c.e. sets Turing-below all Martin-Löf random superhigh sets is a proper subclass of the c.e. \(K\)-trivials. \end{itemize}}
0 references
superhighness
0 references
jump traceability
0 references
