Pages that link to "Item:Q3487331"
From MaRDI portal
The following pages link to Decidability and Invariant Classes for Degree Structures (Q3487331):
Displayed 4 items.
- A non-inversion theorem for the jump operator (Q1111549) (← 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)
- The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)