Abstract
We present the definition and a normal form of a class of operators on sets of natural numbers which generalize the enumeration operators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rogers Jr., H.: Theory of recursive functions and effective computability. McGraw-Hill Book Company, New York (1967)
Selman, A.: Arithmetical reducibilities I. Z. Math. Logik Grundlag. Math. 17, 335–350 (1971)
Case, J.: Maximal arithmetical reducibilities. Z. Math. Logik Grundlag. Math. 20, 261–270 (1974)
Ash, C.: Generalizations of enumeration reducibility using recursive infinitary propositional sentences. Ann. Pure Appl. Logic 58, 173–184 (1992)
Cooper, S.: Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense. J. Symbolic Logic 49, 503–513 (1984)
McEvoy, K.: Jumps of quasi-minimal enumeration degrees. J. Symbolic Logic 50, 839–848 (1985)
Soskov, I.: A jump inversion theorem for the enumeration jump. Arch. Math. Logic 39, 417–437 (2000)
Soskov, I., Baleva, V.: Regular enumerations. J. Symbolic Logic 67, 1323–1343 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soskov, I.N. (2005). Uniform Operators. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds) New Computational Paradigms. CiE 2005. Lecture Notes in Computer Science, vol 3526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494645_55
Download citation
DOI: https://doi.org/10.1007/11494645_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26179-7
Online ISBN: 978-3-540-32266-5
eBook Packages: Computer ScienceComputer Science (R0)