P-Immune Sets with Holes Lack Self-Reducibility Properties
Lane A. Hemaspaandra, Harald Hempel

TL;DR
This paper demonstrates that P-immune sets with exponential gaps do not possess positive-Turing self-reducibility, highlighting limitations in their computational structure.
Contribution
It establishes a new limitation on P-immune sets with exponential gaps, showing they lack certain self-reducibility properties.
Findings
P-immune sets with exponential gaps are not positive-Turing self-reducible.
The result clarifies the structural complexity of P-immune sets.
This advances understanding of the limitations of self-reducibility in complexity theory.
Abstract
No P-immune set having exponential gaps is positive-Turing self-reducible.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Advanced Algebra and Logic · semigroups and automata theory
