Defining the Turing jump
From MaRDI portal
Publication:1574741
DOI10.4310/MRL.1999.v6.n6.a10zbMath0958.03029WikidataQ55894375 ScholiaQ55894375MaRDI QIDQ1574741
Richard A. Shore, Theodore A. Slaman
Publication date: 13 August 2000
Published in: Mathematical Research Letters (Search for Journal in Brave)
03D28: Other Turing degree structures
Related Items
Local Initial Segments of The Turing Degrees, DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES, HIGHER RANDOMNESS AND GENERICITY, ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES, Decomposing Borel functions using the Shore–Slaman join theorem, Definability via Kalimullin pairs in the structure of the enumeration degrees, Another note on the join property, Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond, On Kalimullin pairs, 2-minimality, jump classes and a note on natural definability, Mass problems associated with effectively closed sets, A reducibility related to being hyperimmune-free, Unprovability and proving unprovability, The \(\omega\)-Turing degrees, The automorphism group of the enumeration degrees, The Prospects for Mathematical Logic in the Twenty-First Century, A splitting theorem for $n-REA$ degrees, Low Level Nondelegability Results: Domination and Recursive Enumeration, Reverse Mathematics: The Playground of Logic, Degree Structures: Local and Global Investigations, AXIOM I0 AND HIGHER DEGREE THEORY, DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP, Automorphisms of the truth-table degrees are fixed on a cone