A rigid cone in the truth-table degrees with jump
Bj{\o}rn Kjos-Hanssen
TL;DR
This paper investigates the structure of the truth-table degrees with order and jump, showing that automorphisms are fixed above a certain high degree, revealing rigidity in this computational degree structure.
Contribution
It establishes the rigidity of the automorphism group of the truth-table degrees above the fourth jump of zero, a novel structural result.
Findings
Automorphisms are fixed above the fourth jump of 0.
The structure exhibits rigidity in the truth-table degrees with jump.
Provides new insights into the automorphism group of these degrees.
Abstract
The automorphism group of the truth-table degrees with order and jump is fixed on the set of degrees above the fourth jump of 0.
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 · Digital Image Processing Techniques · Advanced Topology and Set Theory