Pages that link to "Item:Q3570161"
From MaRDI portal
The following pages link to Interpreting true arithmetic in the -enumeration degrees (Q3570161):
Displaying 4 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Definability in the enumeration degrees (Q1387092) (← links)
- The last question on recursively enumerable \(m\)-degrees (Q1908450) (← links)
- Interpreting true arithmetic in the local structure of the enumeration degrees (Q4899167) (← links)