First-order theory of the degrees of recursive unsolvability
From MaRDI portal
Publication:1234682
DOI10.2307/1971028zbMath0349.02035WikidataQ56430704 ScholiaQ56430704MaRDI QIDQ1234682
Publication date: 1977
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1971028
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
The ∀∃-theory of ℛ(≤,∨,∧) is undecidable, Undecidability and initial segments of the (r.e.) tt-degrees, Degrees of unsolvability of continuous functions, Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond, Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes, Embedding and coding below a 1-generic degree, The theory of the \(\alpha \) degrees is undecidable, Not every finite lattice is embeddable in the recursively enumerable degrees, Initial segments of the degrees of size \(\aleph _ 1\), Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$, THE n-r.e. DEGREES: UNDECIDABILITY AND Σ1 SUBSTRUCTURES, Coding true arithmetic in the Medvedev and Muchnik degrees, Degree Structures: Local and Global Investigations, The jump is definable in the structure of the degrees of unsolvability, MASS PROBLEMS AND HYPERARITHMETICITY, DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP, Interpreting true arithmetic in the -enumeration degrees, The First Order Theories of the Medvedev and Muchnik Lattices, On homogeneity and definability in the first-order theory of the Turing degrees, Forcing and reductibilities. II. Forcing in fragments of analysis, Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers, Definable degrees and automorphisms of 𝒟, The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
