pith. sign in

arxiv: 1501.02299 · v1 · pith:5QEDTSRZnew · submitted 2015-01-10 · 🧮 math.LO

Low, Superlow, and Superduperlow Sets: An Exposition of a Known But Not Well-Known Result

classification 🧮 math.LO
keywords haltknownsuperduperlowresultsuperlowcarldecidableexposition
0
0 comments X
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.