Article ID Journal Published Year Pages File Type
8904299 Annals of Pure and Applied Logic 2018 13 Pages PDF
Abstract
We prove that the cototal enumeration degrees are exactly the enumeration degrees of sets with good approximations, as introduced by Lachlan and Shore [17]. Good approximations have been used as a tool to prove density results in the enumerations degrees, and indeed, we prove that the cototal enumerations degrees are dense.
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, ,