Initial segments of the _2⁰ enumeration degrees
In this article, the authors obtain several interesting results in the contest of the enumeration degrees. NEWLINENEWLINEFrom the summary: ``Using properties of \({\mathcal K}\)-pairs of sets, we show that every nonzero enumeration degree \(\mathbf{a}\) bounds a nontrivial initial segment of enumeration degrees whose nonzero elements have all the same jump as \(\mathbf{a}\). Some consequences of this fact are derived, that hold in the local structure of the enumeration degrees, including: There is an initial segment of enumeration degrees, whose nonzero elements are all high; there is a nonsplitting high enumeration degree; every noncappable enumeration degree is high; every nonzero low enumeration degree can be capped by degrees of any possible local jump (i.e., any jump that can be realized by enumeration degrees of the local structure); every enumeration degree that bounds a nonzero element of strictly smaller jump, is bounding; every low enumeration degree below a non low enumeration degree \(\mathbf{a}\) can be capped below \(\mathbf{a}\).
- A non-splitting theorem in the enumeration degrees
- Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees
- DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
- Diamond embeddings into the enumeration degrees
- Embedding distributive lattices in the ^0_2 enumeration degrees
- Joining up to the generalized high degrees
- ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS
- Reducibility and Completeness for Sets of Integers
- Enumeration 1-genericity in the local enumeration degrees
- Density of the cototal enumeration degrees
- The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees
- Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees
- A note on initial segments of the enumeration degrees
- Properly enumeration degrees and the high/low hierarchy
- Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees
- as an initial segment of the c-degrees
- scientific article; zbMATH DE number 1048046 (Why is no real title available?)
- On cototality and the skip operator in the enumeration degrees
- Bounding nonsplitting enumeration degrees
- Branching in the \({\Sigma^0_2}\)-enumeration degrees: a new perspective
This page was built for publication: Initial segments of the \({\Sigma}_2^0\) enumeration degrees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805039)
