Abstract
An incomplete degree is cuppable if it can be joined by an incomplete degree to a complete degree. For sets fulfilling some type of simplicity property one can now ask whether these sets are cuppable with respect to a certain type of reducibilities. Several such results are known. In this paper we settle all the remaining cases for the standard notions of simplicity and all the main strong reducibilities.
Citation
Martin Kummer. Marcus Schaefer. "Cuppability of Simple and Hypersimple Sets." Notre Dame J. Formal Logic 48 (3) 349 - 369, 2007. https://doi.org/10.1305/ndjfl/1187031408
Information