๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Ershov hierarchy and the t-jump

โœ Scribed by V. L. Selivanov


Book ID
105424180
Publisher
Springer US
Year
1988
Tongue
English
Weight
794 KB
Volume
27
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Turing jumps in the Ershov hierarchy
โœ M. Kh. Faizrakhmanov ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Springer US ๐ŸŒ English โš– 338 KB
On Genericity and Ershov's Hierarchy
โœ Amy Gale; Rod Downey ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 281 KB
Recursive Structures and Ershov's Hierar
โœ Christopher J. Ash; Julia F. Knight ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 460 KB

Ash and Nerode [2] gave natural definability conditions under which a relation is intrinsically r.e. Here we generalize this to arbitrary levels in Ershov's hierarchy of A: sets, giving conditions under which a relation is intrinsically a-r. e.