Pages that link to "Item:Q3487331"
From MaRDI portal
The following pages link to Decidability and Invariant Classes for Degree Structures (Q3487331):
Displaying 14 items.
- A non-inversion theorem for the jump operator (Q1111549) (← links)
- Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431) (← links)
- The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory (Q1193873) (← links)
- Homomorphisms and quotients of degree structures (Q1408859) (← links)
- Fragments of the theory of the enumeration degrees (Q2020402) (← links)
- Turing computability: structural theory (Q2036465) (← links)
- Degree-invariant, analytic equivalence relations without perfectly many classes (Q2832838) (← links)
- Extensions of embeddings below computably enumerable degrees (Q2838113) (← links)
- (Q3488795) (← links)
- Preservation and decomposition theorems for bounded degree structures (Q4635634) (← links)
- The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)
- The Σ 2 theory of D h ( ⩽ h O ) as an uppersemilattice with least and greatest element is decidable (Q5037208) (← links)
- Degree-𝑑 chow parameters robustly determine degree-𝑑 PTFs (and algorithmic applications) (Q5212820) (← links)
- Classes of Tree Homomorphisms with Decidable Preservation of Regularity (Q5458355) (← links)
