Pith. sign in

REVIEW 2 cited by

Automorphisms of the truth-table degrees are fixed on some cone

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 0805.0005 v2 pith:AKWWJ5BI submitted 2008-04-30 math.LO

Automorphisms of the truth-table degrees are fixed on some cone

classification math.LO
keywords degreestruth-tableautomorphismconeeveryfixedrealsome
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Let Dtt denote the set of truth-table degrees. A bijection p from Dtt to Dtt is an automorphism if for all truth-table degrees x and y we have x <=tt y if and only if p(x) <=tt p(y). We say an automorphism p is fixed on some cone if there is a degree b such that for all x >=tt b we have p(x) = x. We first prove that for every 2-generic real X we have X' is not tt below X + 0'. We next prove that for every real X >=tt 0' there is a real Y such that Y + 0' =tt Y' =tt X. Finally, we use this to demonstrate that every automorphism of the truth-table degrees is fixed on some cone.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Krylov Distribution and Universal Convergence of Quantum Fisher Information

    quant-ph 2026-02 unverdicted novelty 7.0

    A spectral-resolvent Krylov framework defines a distribution for quantum Fisher information and identifies universal exponential or algebraic convergence regimes based on the Liouville spectrum.

  2. Krylov-Space Memory Cores

    hep-th 2026-07 conditional novelty 6.0

    Anomalous initial states in otherwise thermalizing models leave compact, stationary low-depth Krylov-space cores—regions with persistent fluctuations, Gibbs mismatch, and current activity—while generic states do not.