scientific article
From MaRDI portal
Publication:2715533
zbMath0995.11069MaRDI QIDQ2715533
Publication date: 10 October 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Structure, classification theorems for modules and ideals in commutative rings (13C05) Model theory (number-theoretic aspects) (11U09)
Related Items (3)
Existential Diophantine definability of string length ⋮ 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 ℚ
This page was built for publication:
