Mathematical Logic Quarterly 57 (5):504-516 (2011)
AbstractHay 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
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.
Fundamentals of Rice Crop Science, International Rice Research Institute, Los Baños.S. Yoshida - forthcoming - Laguna.
Bioengineering Nitrogen Acquisition in Rice: Can Novel Initiatives in Rice Genomics and Physiology Contribute to Global Food Security?Dev T. Britto & Herbert J. Kronzucker - 2004 - Bioessays 26 (6):683-692.
ORYZA2000: Modeling Lowland Rice. International Rice Research Institute, Los Banos.B. A. M. Bouman, M. J. Kropff, T. P. Tuong, M. C. S. Wopereis, H. F. M. ten Berge & H. H. van Laar - forthcoming - Laguna.
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.
The Role of Soil Water Availability in Potential Rainfed Rice Productivity in Bangladesh: Applications of the CERES-Rice Model.Rezaul Mahmood, David R. Legates & Mark Meo - 2004 - In Antoine Bailly & Lay James Gibson (eds.), Applied Geography. Kluwer Academic Publishers. pp. 24--2.
Review: H. G. Rice, Recursive Real Numbers. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.
Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.F. Stephan & B. Borchert - 2000 - Mathematical Logic Quarterly 46 (4):489-504.
Occurrence of the Rice Root Nematode Hirschmanniella Oryzae on Monsoon Rice in Myanmar.Zin Thu Zar Maung, Pyone Pyone Kyi, Yi Yi Myint, Thein Lwin & Dirk de Waele - 2010 - Tropical Plant Pathology 35 (1).
A Topological Analog to the Rice-Shapiro Index Theorem.Louise Hay & Douglas Miller - 1982 - Journal of Symbolic Logic 47 (4):824-832.
The In Situ Conservation of Rice Plant Genetic Diversity: A Case Study From a Philippine Barangay. [REVIEW]David Carpenter - 2005 - Agriculture and Human Values 22 (4):421-434.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1987 - MIT Press.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.
Classes of Recursively Enumerable Sets and Their Decision Problems.H. G. Rice - 1954 - Journal of Symbolic Logic 19 (2):121-122.