Degrees containing members of thin Π10 classes are dense and co-dense

DOI10.1142/S0219061318500010OpenAlexW2768885372MaRDI QIDQ4565754

Yue Yang, Rodney G. Downey, Guohua Wu

Publication date: 13 June 2018

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219061318500010

zbMATH Keywords

densityTuring degrees\(\Pi_1^0\) classes

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Recursively (computably) enumerable sets and degrees (03D25)

Related Items

Members of thin Π₁⁰ classes and generic degrees

Cites Work

• Unnamed Item
• Unnamed Item
• The density of infima in the recursively enumerable degrees
• Effectively closed sets and enumerations
• The density of the nonbranching degrees
• Countable algebra and set existence axioms
• Members of countable \(\Pi ^ 0_ 1\) classes
• Maximal theories
• Countable thin \(\Pi^0_1\) classes
• Undecidability and 1-types in intervals of the computably enumerable degrees
• The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
• Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees
• On the Cantor-Bendixon rank of recursively enumerable sets
• Slender classes
• Effective content of field theory
• On the ranked points of a Π₁⁰ set
• Axiomatizable theories with few axiomatizable extensions
• ∏ 0 1 Classes and Degrees of Theories