A jump inversion theorem for the enumeration jump
From MaRDI portal
Publication:1584013
DOI10.1007/s001530050156zbMath0960.03037MaRDI QIDQ1584013
Publication date: 30 October 2000
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050156
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Regular enumerations, Definability via Kalimullin pairs in the structure of the enumeration degrees, Defining totality in the enumeration degrees, The jump operation for structure degrees, The jump operator on the \(\omega \)-enumeration degrees, The automorphism group of the enumeration degrees, COMPUTABLE ABELIAN GROUPS, Enumeration Reducibility and Computable Structure Theory