Degrees containing members of thin _1⁰ classes are dense and co-dense

DOI10.1142/S0219061318500010MaRDI QIDQ4565754zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Members of thin \(\Pi_1^0\) classes and generic degrees
• The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
• Density of the Medvedev lattice of ^0_1 classes
• Countable thin ^0_1 classes
• Density results in the _2⁰ e-degrees

Cites work

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

Cited in

(3)

• The upward closure of a perfect thin class
• The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees
• Members of thin \(\Pi_1^0\) classes and generic degrees

This page was built for publication: Degrees containing members of thin \(\Pi_1^0\) classes are dense and co-dense

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4565754)