Pages that link to "Item:Q3416114"
From MaRDI portal
The following pages link to The Π<sub>3</sub>-theory of the -enumeration degrees is undecidable (Q3416114):
Displaying 8 items.
- The theory of the \(\alpha \) degrees is undecidable (Q607833) (← links)
- Definability in the enumeration degrees (Q1387092) (← links)
- Undecidability and 1-types in intervals of the computably enumerable degrees (Q1591201) (← links)
- Fragments of the theory of the enumeration degrees (Q2020402) (← links)
- (Q3992263) (← links)
- Extensions of two constructions of Ahmad (Q5061391) (← links)
- Strong minimal pairs in the enumeration degrees (Q6584953) (← links)
- On cupping and Ahmad pairs (Q6642878) (← links)