Cupping △_2~0 Enumeration Degrees To 0'_e

摘要

In this paper we prove that every non-zero △_2~0 e-degrec is cuppable to 0'_e, by a 1 -generic △_2~0 e-degree (and is thus low and non-total), and that every non-zero tu-c.e. e-degree is cuppable to 0'_e by an incomplete 3-c.e. e-degree.