Pages that link to "Item:Q3243262"
From MaRDI portal
The following pages link to A criterion for completeness of degrees of unsolvability (Q3243262):
Displaying 28 items.
- The weakness of being cohesive, thin or free in reverse mathematics (Q503277) (← links)
- A non-inversion theorem for the jump operator (Q1111549) (← links)
- Index sets in 0' (Q1212448) (← links)
- Fixed points of jump preserving automorphisms of degrees (Q1244338) (← links)
- The rhombus classes of degrees of unsolvability. I. The jump properties (Q1322450) (← links)
- On the uniform computational content of computability theory (Q1694010) (← links)
- Completely mitotic c.e. degrees and non-jump inversion (Q1765157) (← links)
- On the strength of Ramsey's theorem (Q1913632) (← links)
- Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy (Q1935363) (← links)
- On trees without hyperimmune branches (Q2104272) (← links)
- A reducibility related to being hyperimmune-free (Q2349101) (← links)
- Weakly Represented Families in Reverse Mathematics (Q2970957) (← links)
- Turing Jumps Through Provability (Q3195699) (← links)
- Inverting the Half-Jump (Q3674638) (← links)
- Two Theorems on Truth Table Degrees (Q3798648) (← links)
- Recursively enumerable sets and degrees (Q4184825) (← links)
- Sets of Formulas Valid in Finite Structures (Q4401428) (← links)
- (Q4585068) (← links)
- About Segment Complexity of Turing Reductions (Q4704660) (← links)
- HTP-COMPLETE RINGS OF RATIONAL NUMBERS (Q5070470) (← links)
- On the structure of the Wadge degrees of bqo-valued Borel functions (Q5380486) (← links)
- The Complexity of Orbits of Computably Enumerable Sets (Q5387296) (← links)
- Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit (Q5553279) (← links)
- On complete degrees (Q5599820) (← links)
- Minimal Covers and Arithmetical Sets (Q5604455) (← links)
- A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals (Q5695769) (← links)
- Recursive Enumerability and the Jump Operator (Q5729295) (← links)
- Defining totality in the enumeration degrees (Q5741445) (← links)
