Abstract
For any reducibility ≤ r , an infinite set A is called introimmune under r-reducibility if any subset B of A to which A can be r-reduced is a finite variant of A. We show that there is a recursive – in fact exponential-time computable – set which is introimmune under polynomial-time bounded Turing reducibility. More generally, there are recursive introimmune sets for all recursively presentable reducibilities. This answers some questions of Cintioli and Silvestri.
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
Balcazar, J.L., Diaz, J., Gabarro, J.: Structural Complexity Theory, vol. I. Springer, Berlin (1988)
Cintioli, P., Silvestri, R.: Polynomial time introreducibility. Theory Comput. Systems 36, 1–15 (2003)
Jockusch Jr., C.G.: Upward closure and cohesive degrees. Israel J. Math. 15, 332–335 (1973)
Odifreddi, P.: Classical Recursion Theory. North-Holland, Amsterdam (1989)
Simpson, S.G.: Sets which do not have subsets of every higher degree. J. Symbolic Logic 43, 135–138 (1978)
Soare, R.I.: Sets with no subsets of higher degree. J. Symbolic Logic 34, 53–56 (1969)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambos-Spies, K. (2003). Problems which Cannot Be Reduced to Any Proper Subproblems. In: Rovan, B., Vojtáš, P. (eds) Mathematical Foundations of Computer Science 2003. MFCS 2003. Lecture Notes in Computer Science, vol 2747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45138-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-45138-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40671-6
Online ISBN: 978-3-540-45138-9
eBook Packages: Springer Book Archive