Decidability and local-global principles

zbMATH Open0995.11069MaRDI QIDQ2715533FDOQ2715533

L. Darnière

Publication date: 10 October 2002

zbMATH Keywords

surveydecidabilitymodel theorygeometric local-global principlenonsingular Hasse principle

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Structure, classification theorems for modules and ideals in commutative rings (13C05) Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09)

Cited In (5)

• Definability and decidability for rings of integers in totally imaginary fields
• PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
• Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\)
• An interpretation of Shenoy and Shafer's axioms for local computation
• Existential Diophantine definability of string length

This page was built for publication: Decidability and local-global principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2715533)