Pages that link to "Item:Q2715533"
From MaRDI portal
The following pages link to Decidability and local-global principles (Q2715533):
Displaying 6 items.
- An interpretation of Shenoy and Shafer's axioms for local computation (Q911810) (← links)
- Existential Diophantine definability of string length (Q2419123) (← links)
- Nonsingular Hasse principle for rings (Q4520950) (← links)
- PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (Q5858949) (← links)
- Definability and decidability for rings of integers in totally imaginary fields (Q6148055) (← links)
- Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\) (Q6584671) (← links)