The following pages link to Defining the Turing jump (Q1574741):
Displayed 29 items.
- 2-minimality, jump classes and a note on natural definability (Q386644) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Multiple genericity: a new transfinite hierarchy of genericity notions (Q2089803) (← links)
- The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees (Q2238145) (← links)
- A reducibility related to being hyperimmune-free (Q2349101) (← links)
- Unprovability and proving unprovability (Q2350971) (← links)
- The \(\omega\)-Turing degrees (Q2453074) (← links)
- The automorphism group of the enumeration degrees (Q2630830) (← links)
- The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583) (← links)
- A splitting theorem for $n-REA$ degrees (Q2750871) (← links)
- Low Level Nondelegability Results: Domination and Recursive Enumeration (Q2869914) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY (Q3450811) (← links)
- DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600) (← links)
- Automorphisms of the truth-table degrees are fixed on a cone (Q3630586) (← links)
- Local Initial Segments of The Turing Degrees (Q4432542) (← links)
- DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES (Q4460756) (← links)
- HIGHER RANDOMNESS AND GENERICITY (Q4599263) (← links)
- ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES (Q4600467) (← links)
- Decomposing Borel functions using the Shore–Slaman join theorem (Q4983474) (← links)
- Turing degrees in Polish spaces and decomposability of Borel functions (Q4991901) (← links)
- (Q4993819) (← links)
- (Q4994212) (← links)
- Definability via Kalimullin pairs in the structure of the enumeration degrees (Q5247021) (← links)
- Another note on the join property (Q5264185) (← links)
- Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond (Q5421031) (← links)
- On Kalimullin pairs (Q5740204) (← links)
- Effective randomness for continuous measures (Q5862176) (← links)