LAUSR.org creates dashboard-style pages of related content for over 1.5 million academic articles. Sign Up to like articles & get recommendations!

On cototality and the skip operator in the enumeration degrees

Photo by dlohmar from unsplash

A set A ⊆ ω is cototal if it is enumeration reducible to its complement, A. The skip of A is the uniform upper bound of the complements of all… Click to show full abstract

A set A ⊆ ω is cototal if it is enumeration reducible to its complement, A. The skip of A is the uniform upper bound of the complements of all sets enumeration reducible to A. These are closely connected: A has cototal degree if and only if it is enumeration reducible to its skip. We study cototality and related properties, using the skip operator as a tool in our investigation. We give many examples of classes of enumeration degrees that either guarantee or prohibit cototality. We also study the skip for its own sake, noting that it has many of the nice properties of the Turing jump, even though the skip of A is not always above A (i.e., not all degrees are cototal). In fact, there is a set that is its own double skip.

Keywords: enumeration degrees; skip operator; cototality; enumeration; skip

Journal Title: Transactions of the American Mathematical Society
Year Published: 2019

Link to full text (if available)


Share on Social Media:                               Sign Up to like & get
recommendations!

Related content

More Information              News              Social Media              Video              Recommended



                Click one of the above tabs to view related content.