Pages that link to "Item:Q1182431"
From MaRDI portal
The following pages link to Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431):
Displayed 21 items.
- Degree spectra of the successor relation of computable linear orderings (Q1005920) (← links)
- The possible Turing degree of the nonzero member in a two element degree spectrum (Q1210135) (← links)
- Turing degrees of certain isomorphic images of computable relations (Q1295383) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Coding a family of sets (Q1295408) (← links)
- Quasi-simple relations in copies of a given recursive structure (Q1365244) (← links)
- Permitting, forcing, and copying of a given recursive relation (Q1365246) (← links)
- Possible degrees in recursive copies. II (Q1368584) (← links)
- Turing degrees of hypersimple relations on computable structures (Q1399102) (← links)
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures (Q1430995) (← links)
- Possible degrees in recursive copies (Q1902615) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS (Q3094355) (← links)
- Degree spectra of relations on computable structures in the presence of Δ<sub>2</sub><sup>0</sup>isomorphisms (Q3149990) (← links)
- Generalised weak presentations (Q3149995) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- Degree Spectra of Relations on a Cone (Q4645836) (← links)
- Π<sub>1</sub><sup>1</sup> relations and paths through (Q5311742) (← links)
- Π<sub>1</sub><sup>0</sup> classes and strong degree spectra of relations (Q5422314) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
- The theory of projective planes is complete with respect to degree spectra and effective dimensions (Q5965134) (← links)