You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

The jump hierarchy in the enumeration degrees

Issue title: In Memory of S. Barry Cooper (1943–2015)

Guest editors: Benedikt Löwe

Article type: Research Article

Authors: Ganchev, Hristo A.a | Soskova, Mariya I.b

Affiliations: [a] Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd., 1164 Sofia, Bulgaria. ganchev@fmi.uni-sofia.bg | [b] Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd., 1164 Sofia, Bulgaria. msoskova@fmi.uni-sofia.bg

Abstract: We show that all levels of the jump hierarchy are first order definable in the local structure of the enumeration degrees.

Keywords: Enumeration degrees, definability, jump classes

DOI: 10.3233/COM-170072

Journal: Computability, vol. 7, no. 2-3, pp. 179-188, 2018

Published: 7 June 2018
Price: EUR 27.50
Show more