Almost complemented ^0_1 classes

DOI10.1007/S00153-005-0293-ZMaRDI QIDQ2501161zbMATH OpenOpenAlexFDO

Authors Linda Lawton

Publication date 4 September 2006

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-005-0293-z

zbMATH Keywords

\(\Pi^0_1\) classescomputabilityrecursion

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45)

Review text

This paper explores an analogue of major subsets for \(\Pi^0_1\) classes, which leads to the definition and characterization of almost complemented \(\Pi^{0}_{1}\) classes. A \(\Pi^{0}_{1}\) class \(P\subseteq 2^{\omega}\) is called an almost complemented class if there exists a \(\Pi^{0}_{1}\) class \(Q\) such that \(P\cup Q=2^{\omega}\) and \(P\cap Q\) is finite. It is shown that if \(P\) is an almost complemented \(\Pi^{0}_{1}\) class, then \(P\) is either (1) a complemented class (no boundary points); (2) a singleton (one boundary point, finite class); (3) a bristle -- a limit of complemented classes along a single computable path, i.e. one boundary point, infinite class; (4) or a finite union of the above.

Recommendations

• scientific article; zbMATH DE number 1531920
• Global properties of the lattice of \Pi ^0_1 classes
• Index sets for ^0_1 classes
• Initial segments of the lattice of Π₁⁰ classes
• Small \(\Pi^{0}_{1}\) classes

Cites work

• Automorphisms of the lattice of _1⁰ classes; perfect thin classes and anc degrees
• scientific article; zbMATH DE number 1531920 (Why is no real title available?)
• The elementary theory of recursively enumerable sets

Cited in

(9)

• Index sets for ^0_1 classes
• Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes
• Small \(\Pi^{0}_{1}\) classes
• choice classes
• scientific article; zbMATH DE number 4008384 (Why is no real title available?)
• Π₀¹-classes and Rado's selection principle
• scientific article; zbMATH DE number 1303200 (Why is no real title available?)
• Minimal extensions of ?01 classes
• scientific article; zbMATH DE number 1864665 (Why is no real title available?)

This page was built for publication: Almost complemented \(\Pi^{0}_{1}\) classes

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