Almost complemented \(\Pi^{0}_{1}\) classes (Q2501161)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Almost complemented \(\Pi^{0}_{1}\) classes |
scientific article |
Statements
Almost complemented \(\Pi^{0}_{1}\) classes (English)
0 references
4 September 2006
0 references
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.
0 references
computability
0 references
recursion
0 references
\(\Pi^0_1\) classes
0 references