The -Enumeration Degrees
From MaRDI portal
Publication:5441128
DOI10.1093/logcom/exm041zbMath1174.03018OpenAlexW2339177243MaRDI QIDQ5441128
Publication date: 7 February 2008
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exm041
enumeration reducibilityjump operatoruniform reducibilityjump hierarchies\(\omega\)-enumeration degree
Related Items
Unnamed Item, Unnamed Item, Enumeration Reducibility and Computable Structure Theory, Density of the cototal enumeration degrees, The \(\omega\)-Turing degrees, The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, Definability in the Local Theory of the ω-Enumeration Degrees, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees, The jump operator on the \(\omega \)-enumeration degrees, Definability in the local structure of the ω-Turing degrees