Pages that link to "Item:Q1234682"
From MaRDI portal
The following pages link to First-order theory of the degrees of recursive unsolvability (Q1234682):
Displayed 23 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Embedding and coding below a 1-generic degree (Q558421) (← links)
- The theory of the \(\alpha \) degrees is undecidable (Q607833) (← links)
- Not every finite lattice is embeddable in the recursively enumerable degrees (Q1142206) (← links)
- Initial segments of the degrees of size \(\aleph _ 1\) (Q1820153) (← links)
- Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$ (Q2862196) (← links)
- THE n-r.e. DEGREES: UNDECIDABILITY AND Σ<sub>1</sub> SUBSTRUCTURES (Q2909622) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- The jump is definable in the structure of the degrees of unsolvability (Q3491536) (← links)
- MASS PROBLEMS AND HYPERARITHMETICITY (Q3521596) (← links)
- DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600) (← links)
- Interpreting true arithmetic in the -enumeration degrees (Q3570161) (← links)
- The First Order Theories of the Medvedev and Muchnik Lattices (Q3576064) (← links)
- On homogeneity and definability in the first-order theory of the Turing degrees (Q3671144) (← links)
- Forcing and reductibilities. II. Forcing in fragments of analysis (Q3691651) (← links)
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers (Q3691653) (← links)
- Definable degrees and automorphisms of 𝒟 (Q3898485) (← links)
- The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility (Q4032885) (← links)
- The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)
- Undecidability and initial segments of the (r.e.) tt-degrees (Q5202181) (← links)
- Degrees of unsolvability of continuous functions (Q5311741) (← links)
- Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond (Q5421031) (← links)