scientific article; zbMATH DE number 7360060
From MaRDI portal
Publication:4993819
zbMath1474.03099MaRDI QIDQ4993819
Andrey C. Sariev, Hristo Ganchev
Publication date: 16 June 2021
Full work available at URL: https://www.fmi.uni-sofia.bg/en/node/7754
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
definabilityenumeration reducibilitydegree structuresjump classes\( \omega \)-enumeration degreeslocal substructures
Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28)
Related Items
The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees, Definability in the local structure of the ω-Turing degrees
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees
- The jump operator on the \(\omega \)-enumeration degrees
- Definability in the Turing degrees
- Definability in the enumeration degrees
- Defining the Turing jump
- Uniform regular enumerations
- Interpretability and Definability in the Recursively Enumerable Degrees
- DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
- Definability via Kalimullin pairs in the structure of the enumeration degrees
- Exact Pair Theorem for the ω-Enumeration Degrees
- The -Enumeration Degrees
- Bounding nonsplitting enumeration degrees
