Pages that link to "Item:Q2909622"

The following pages link to The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures (Q2909622):

Displaying 19 items.

• The theory of the \(\alpha \) degrees is undecidable (Q607833) (← links)
• Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
• Undecidability of local structures of s-degrees and Q-degrees (Q1009444) (← links)
• Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding (Q1092897) (← links)
• Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431) (← links)
• The undecidability of some equivalence problems concerning ngsm's and finite substitutions (Q1269922) (← links)
• Isolated maximal d.r.e. degrees (Q1715479) (← links)
• Matrix hierarchies of first-order languages and their applications (Q1803010) (← links)
• Weak density and nondensity among transfinite levels of the Ershov hierarchy (Q1981983) (← links)
• Turing computability: structural theory (Q2036465) (← links)
• Isolation from side in 2-computably enumerable degrees (Q2225889) (← links)
• A survey of results on the d.c.e. and \(n\)-c.e. degrees (Q2263110) (← links)
• Representation of One-One Degrees byn-Cylindrical Decision Problems (Q3824301) (← links)
• On \(1\over{} n\)-hereditary sets (Q3980682) (← links)
• The discrete parts of approximately decidable sets in Euclidean spaces (Q4419273) (← links)
• (Q4835608) (← links)
• Extending properly n - REA sets1 (Q5061390) (← links)
• An undecidable linear order that is \(n\)-decidable for all \(n\) (Q5937834) (← links)
• Isolation from side and cone avoidance in the 2-computably enumerable \textit{wtt}-degrees (Q6147854) (← links)