Pages that link to "Item:Q688787"
From MaRDI portal
The following pages link to Undecidability and 1-types in the recursively enumerable degrees (Q688787):
Displaying 11 items.
- Incomparable prime ideals of recursively enumerable degrees (Q688789) (← links)
- Undecidability and 1-types in intervals of the computably enumerable degrees (Q1591201) (← links)
- The discontinuity of splitting in the recursively enumerable degrees (Q1902338) (← links)
- Interpreting true arithmetic in the theory of the r.e. truth table degrees (Q1902619) (← links)
- Undecidable fragments of elementary theories (Q1906521) (← links)
- Definability in the Recursively Enumerable Degrees (Q3128481) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable (Q4211072) (← links)
- Generalized nonsplitting in the recursively enumerable degrees (Q4358047) (← links)
- 1996–97 Annual Meeting of the Association for Symbolic Logic (Q4372927) (← links)
- The undecidability of the Π<sub>4</sub>-theory for the r.e. wtt and Turing degrees (Q4876314) (← links)
