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.
On Genericity and Ershov's Hierarchy
โ Scribed by Amy Gale; Rod Downey
- Publisher
- John Wiley and Sons
- Year
- 2001
- Tongue
- English
- Weight
- 281 KB
- Volume
- 47
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
The generating functional of the lsing model is studied. Equations of motion for the generating functional and the hierarchy of Green's functions are derived. These equations resemble a scalar field theory with nonlinear derivative coupling. Such a formulation bridges the gap between the Ising model
Based on the study of the confocal Lax matrix, new confocal involutive systems and a new spectral problem are proposed from which a hierarchy of generalized coupled KdV equations is derived. The Abel-Jacobi coordinates are introduced to straighten out the associated ows. Algebro-geometric solutions