Wadge Degrees of ω-Languages of Deterministic Turing Machines
We describe Wadge degrees of ù-languages recognizable by deterministic Turing machines. In particular, it is shown that the ordinal corresponding to these degrees is ξω where ξ = ωCK 1is the first non-recursive ordinal known as the Church-Kleene ordinal. This answers a question raised in [Du0?].
KeywordsWadge degree hierarchy reducibility ω-language Cantor space set-theoretic operation.
Unable to display preview. Download preview PDF.
- [An01]A. Andretta. Notes on Descriptive Set Theory. Manuscript, 2001.Google Scholar
- [Du0?]J. Duparc. A hierarchy of deterministic context-free ω-languages. Theor. Comp. Sci., to appear.Google Scholar
- [KSW86]J. Köbler, U. Shöning and K.W. Wagner. The difference and truth-table hierarchies for NP. Dep. of Informatics, Koblenz. Preprint 7 (1986).Google Scholar
- [KM67]K. Kuratowski and A. Mostowski. Set Theory. North Holland, Amsterdam, 1967.Google Scholar
- [Mos80]Y.N. Moschovakis. Descriptive set theory, North Holland, Amsterdam, 1980.Google Scholar
- [Ro67]H. Rogers jr. Theory of recursive functions and effective computability. McGraw-Hill, New York, 1967.Google Scholar
- [Se92]V.L. Selivanov. Hierarchies, Numerations, Index Sets. Handritten notes, 1992, 300 pp.Google Scholar
- [Se94]V.L. Selivanov. Fine hierarchy of regular ω-languages. Preprint N 14, 1994, the University of Heidelberg, Chair of Mathematical Logic, 13 pp.Google Scholar
- [Se95]V.L. Selivanov. Fine hierarchy of regular ω-languages. Lecture Notes in Comp. Sci., v. 915. Berlin: Springer, 1995, 277–287.Google Scholar
- [Ste80]J. Steel. Determinateness and the separation property. J. Symbol. Logic, 45 (1980), 143–146.Google Scholar
- [Wad72]W. Wadge. Degrees of complexity of subsets of the Baire space. Notices A.M.S. (1972), R–714.Google Scholar
- [Wad84]W. Wadge. Reducibility and determinateness in the Baire space. PhD thesis, University of California, Berkeley, 1984.Google Scholar
- [VW76]Van Wesep. Wadge degrees and descriptive set theory. Lecture Notes in Math., 689 (1978), 151–170.Google Scholar