Recursive Structures and Ershov's Hierarchy

Mathematical Logic Quarterly 42 (1):461-468 (1996)

Abstract
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 Δmath image sets, giving conditions under which a relation is intrinsically α-r. e
Keywords Ershov's hierarchy  Difference hierarchy  Intrinsically α‐r. e.  Recursive infinitary formula
Categories (categorize this paper)
DOI 10.1002/malq.19960420138
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,149
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references

Citations of this work BETA

Turing Degrees of Certain Isomorphic Images of Computable Relations.Valentina S. Harizanov - 1998 - Annals of Pure and Applied Logic 93 (1-3):103-113.
Learning Correction Grammars.Lorenzo Carlucci, John Case & Sanjay Jain - 2009 - Journal of Symbolic Logic 74 (2):489-516.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2005 - Archive for Mathematical Logic 45 (3):323-350.

Add more citations

Similar books and articles

The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2005 - Archive for Mathematical Logic 45 (3):323-350.
On Genericity and Ershov's Hierarchy.Amy Gale & Rod Downey - 2001 - Mathematical Logic Quarterly 47 (2):161-182.
Index Sets in Ershov's Hierarchy.Jacques Grassin - 1974 - Journal of Symbolic Logic 39 (1):97-104.
An Analysis of the W -Hierarchy.Yijia Chen, Jörg Flum & Martin Grohe - 2007 - Journal of Symbolic Logic 72 (2):513 - 534.

Analytics

Added to PP index
2013-12-01

Total views
13 ( #661,459 of 2,289,341 )

Recent downloads (6 months)
1 ( #842,814 of 2,289,341 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature