Pages that link to "Item:Q1902619"
From MaRDI portal
The following pages link to Interpreting true arithmetic in the theory of the r.e. truth table degrees (Q1902619):
Displaying 4 items.
- Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees (Q1840456) (← links)
- The last question on recursively enumerable \(m\)-degrees (Q1908450) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- Interpreting true arithmetic in the -enumeration degrees (Q3570161) (← links)