Pages that link to "Item:Q4876314"
From MaRDI portal
The following pages link to The undecidability of the Π<sub>4</sub>-theory for the r.e. wtt and Turing degrees (Q4876314):
Displaying 6 items.
- Continuity of capping in \(\mathcal C_{\text{bT}}\) (Q947265) (← links)
- Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees (Q1840456) (← links)
- On the Strongly Bounded Turing Degrees of the Computably Enumerable Sets (Q2970980) (← links)
- Principal filters definable by parameters in 𝓔<sub>bT</sub> (Q3616223) (← links)
- The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable (Q4211072) (← links)
- (Q4835608) (← links)
