Low, Superlow, and Superduperlow Sets: An Exposition of a Known But Not Well-Known Result
classification
🧮 math.LO
keywords
haltknownsuperduperlowresultsuperlowcarldecidableexposition
read the original abstract
A set is low if A' \le_T HALT. A set is superlow if A' \le_tt HALT. A set is superduperlow if A' \le_btt HALT. While it was known that any superduperlow is decidable it does not seem to be well known. We include two unpublished proofs of this result: One from Carl Jockush and one from Frank Stephan.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.