|
This article is cited in 8 scientific papers (total in 8 papers)
Positive Numberings of Families of Sets in the Ershov Hierarchy
Zh. T. Talasbaeva Al-Farabi Kazakh National University
Abstract:
It is proved that there exist infinitely many positive undecidable $\Sigma^{-1}_n$-computable numberings of every infinite family $\mathcal S\subseteq\Sigma^{-1}_n$ that admits at least one $\Sigma^{-1}_n$-computable numbering and contains either the empty set, for even $n$, or $N$ for odd $n$.
Keywords:
Ershov hierarchy, positive undecidable $\Sigma^{-1}_n$-computable numbering.
Received: 20.08.2001 Revised: 15.07.2003
Citation:
Zh. T. Talasbaeva, “Positive Numberings of Families of Sets in the Ershov Hierarchy”, Algebra Logika, 42:6 (2003), 737–746; Algebra and Logic, 42:6 (2003), 413–418
Linking options:
https://www.mathnet.ru/eng/al53 https://www.mathnet.ru/eng/al/v42/i6/p737
|
Statistics & downloads: |
Abstract page: | 305 | Full-text PDF : | 127 | References: | 46 | First page: | 1 |
|