Pages that link to "Item:Q3671144"
From MaRDI portal
The following pages link to On homogeneity and definability in the first-order theory of the Turing degrees (Q3671144):
Displayed 12 items.
- Interpolating \(d\)-r.e. and REA degrees between r.e. degrees (Q1919759) (← links)
- Definability in the Recursively Enumerable Degrees (Q3128481) (← links)
- The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- The jump is definable in the structure of the degrees of unsolvability (Q3491536) (← links)
- Forcing and reductibilities. II. Forcing in fragments of analysis (Q3691651) (← links)
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers (Q3691653) (← links)
- The arithmetic and Turing degrees are not elementarily equivalent (Q3765755) (← 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)
- A General Framework for Priority Arguments (Q4847389) (← links)
- THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)