Rice and Rice-Shapiro Theorems for transfinite correction grammars

Mathematical Logic Quarterly 57 (5):504-516 (2011)
  Copy   BIBTEX


Hay and, then, Johnson extended the classic Rice and Rice-Shapiro Theorems for computably enumerable sets, to analogs for all the higher levels in the finite Ershov Hierarchy. The present paper extends their work to analogs in the transfinite Ershov Hierarchy. Some of the transfinite cases are done for all transfinite notations in Kleene's important system of notations, equation image. Other cases are done for all transfinite notations in a very natural, proper subsystem equation image of equation image, where equation image has at least one notation for each constructive ordinal. In these latter cases it is open as to what happens for the entire set of transfinite notations in equation image



    Upload a copy of this work     Papers currently archived: 74,389

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Learning Correction Grammars.Lorenzo Carlucci, John Case & Sanjay Jain - 2009 - Journal of Symbolic Logic 74 (2):489-516.
Toward an Aristotelian Conception of Good Listening.Suzanne Rice - 2011 - Educational Theory 61 (2):141-153.
Attorney Rice Responds.Nancy R. Rice - 1980 - Journal of Law, Medicine and Ethics 8 (4):2-2.
Agricultural Biotechnology and Environmental Justice.Kristen Hessler - 2011 - Environmental Ethics 33 (3):267-282.
Review: Norman Shapiro, Degrees of Computability. [REVIEW]H. G. Rice - 1958 - Journal of Symbolic Logic 23 (1):48-49.
Review: H. G. Rice, Recursive Real Numbers. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.
A Topological Analog to the Rice-Shapiro Index Theorem.Louise Hay & Douglas Miller - 1982 - Journal of Symbolic Logic 47 (4):824-832.


Added to PP

24 (#476,898)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations