Isolation and the Jump Operator
From MaRDI portal
Publication:2765575
DOI<525::AID-MALQ525>3.0.CO;2-7 10.1002/1521-3870(200111)47:4<525::AID-MALQ525>3.0.CO;2-7zbMath1003.03039MaRDI QIDQ2765575
Publication date: 22 January 2003
Full work available at URL: https://doi.org/10.1002/1521-3870(200111)47:4<525::aid-malq525>3.0.co;2-7
03D35: Undecidability and degrees of sets of sentences
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
03D28: Other Turing degree structures
Related Items
Bi-isolation in the d.c.e. degrees, Nonisolated degrees and the jump operator, Bounding computably enumerable degrees in the Ershov hierarchy, An almost-universal cupping degree