-
The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
Authors:
Leo A. Harrington,
Peter M. Gerdes
Abstract:
This paper finally fully elaborates the tree pulldown method used by one of us (Harrington) to settle McLaughlin's conjecture. This method enables the construction of a computable tree $T_0$ whose paths are incomparable over $0^{(α)}$ and resemble $α$-generics while leaving us almost completely free to specify the homeomorphism class of $[T_0]$. While a version of this method for $α= ω$ previously…
▽ More
This paper finally fully elaborates the tree pulldown method used by one of us (Harrington) to settle McLaughlin's conjecture. This method enables the construction of a computable tree $T_0$ whose paths are incomparable over $0^{(α)}$ and resemble $α$-generics while leaving us almost completely free to specify the homeomorphism class of $[T_0]$. While a version of this method for $α= ω$ previously appeared in print we give the general construction for an arbitrary ordinal notation $α$. We also demonstrate this method can be applied to a `non-standard' ordinal notation to establish the existence of a computable tree whose paths are hyperarithmetically incomparable and resemble $α$-generics for all $α< ω_1^{CK}$. Finally, we verify a number of corollaries including solutions to problems 57$^{*}$ , 62, 63 (McLaughlin's conjecture), 65 and 71 from Friedman's famous "One Hundred and Two Problems in Mathematical Logic."
△ Less
Submitted 19 April, 2025;
originally announced April 2025.
-
Extending Properly n-REA Sets
Authors:
Peter A. Cholak,
Peter M. Gerdes
Abstract:
In [5] Soare and Stob prove that if $A$ is an r.e. set which isn't computable then there is a set of the form $A \oplus W^A_e$ which isn't of r.e. Turing degree. If we define a properly $n+1$-REA set to be an $n+1$-REA set which isn't Turing equivalent to any $n$-REA set this result shows that every properly 1-REA set can be extended to a properly 2-REA set. This result was extended in [1] by Chol…
▽ More
In [5] Soare and Stob prove that if $A$ is an r.e. set which isn't computable then there is a set of the form $A \oplus W^A_e$ which isn't of r.e. Turing degree. If we define a properly $n+1$-REA set to be an $n+1$-REA set which isn't Turing equivalent to any $n$-REA set this result shows that every properly 1-REA set can be extended to a properly 2-REA set. This result was extended in [1] by Cholak and Hinman who proved that every 2-REA set can be extended to a properly 3-REA set. This leads naturally to the hypothesis that every properly $n$-REA set can be extended to a properly $n+1$-REA set. In this paper, we show this hypothesis is false and that there is a properly $3$-REA set which can't be extended to a properly $4$-REA set.
△ Less
Submitted 19 December, 2022; v1 submitted 2 July, 2021;
originally announced July 2021.
-
On n-Tardy Sets
Authors:
Peter A. Cholak,
Peter M. Gerdes,
Karen Lange
Abstract:
Harrington and Soare introduced the notion of an n-tardy set. They showed that there is a nonempty $\mathcal{E}$ property Q(A) such that if Q(A) then A is 2-tardy. Since they also showed no 2-tardy set is complete, Harrington and Soare showed that there exists an orbit of computably enumerable sets such that every set in that orbit is incomplete. Our study of n-tardy sets takes off from where Harr…
▽ More
Harrington and Soare introduced the notion of an n-tardy set. They showed that there is a nonempty $\mathcal{E}$ property Q(A) such that if Q(A) then A is 2-tardy. Since they also showed no 2-tardy set is complete, Harrington and Soare showed that there exists an orbit of computably enumerable sets such that every set in that orbit is incomplete. Our study of n-tardy sets takes off from where Harrington and Soare left off. We answer all the open questions asked by Harrington and Soare about n-tardy sets. We show there is a 3-tardy set A that is not computed by any 2-tardy set B. We also show that there are nonempty $\mathcal{E}$ properties $Q_n(A)$ such that if $Q_n(A)$ then A is properly n-tardy.
△ Less
Submitted 31 December, 2010;
originally announced January 2011.
-
Harrington's Solution to McLaughlin's Conjecture and Non-uniform Self-moduli
Authors:
Peter M. Gerdes
Abstract:
While much work has been done to characterize the Turing degrees computing members of various collections of fast growing functions, much less has been done to characterize the rate of growth necessary to compute particular degrees. Prior work has shown that every degree computed by all sufficiently fast growing functions is uniformly computed by all sufficiently fast growing functions. We show th…
▽ More
While much work has been done to characterize the Turing degrees computing members of various collections of fast growing functions, much less has been done to characterize the rate of growth necessary to compute particular degrees. Prior work has shown that every degree computed by all sufficiently fast growing functions is uniformly computed by all sufficiently fast growing functions. We show that the rate of growth sufficient for a function to uniformly compute a given Turing degree can be separated by an arbitrary number of jumps from the rate of growth that suffices for a function to non-uniformly compute the degree. These results use the unpublished method Harrington developed to answer McLaughlin's conjecture so we begin the paper with a rigorous presentation of the approach Harrington sketched in his handwritten notes on the conjecture. We also provide proofs for the important computability theoretic results Harrington noted were corollaries of this approach. In particular we provide the first published proof of Harrington's result that there is an effectively given sequence of Π^0_1 singletons that are Low_α none of which is computable in the effective join of the α jumps of the others for every computable ordinal α.
△ Less
Submitted 31 December, 2010; v1 submitted 15 December, 2010;
originally announced December 2010.
-
A ω-REA Set Forming A Minimal Pair With 0'
Authors:
Peter M. Gerdes
Abstract:
It is easy to see that no n-REA set can form a (non-trivial) minimal pair with 0' and only slightly more difficult to observe that no ω-REA set can form a (non-trivial) minimal pair with 0". Shore has asked whether this can be improved to show that no ω-REA set forms a (non-trivial) minimal pair with 0'. We show that no such improvement is possible by constructing a non-computable set C computable…
▽ More
It is easy to see that no n-REA set can form a (non-trivial) minimal pair with 0' and only slightly more difficult to observe that no ω-REA set can form a (non-trivial) minimal pair with 0". Shore has asked whether this can be improved to show that no ω-REA set forms a (non-trivial) minimal pair with 0'. We show that no such improvement is possible by constructing a non-computable set C computable from 0" forming a minimal pair with 0'. We then show that no α-REA set can form a (non-trivial) minimal pair with 0".
△ Less
Submitted 31 December, 2010; v1 submitted 4 December, 2010;
originally announced December 2010.
