Elimination theory for the ring of algebraic integers.

DOI10.1515/crll.1988.388.189zbMath0659.12021MaRDI QIDQ3808206

L. P. D. van den Dries

Publication date: 1988

Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002205696

zbMATH Keywords

decidability; model theory; elimination theorem; elementary problem; algebraic integer points on absolutely irreducible varieties; dimension theory for definable sets

Mathematics Subject Classification ID

12L05: Decidability and field theory

11D72: Diophantine equations in many variables

11R04: Algebraic numbers; rings of algebraic integers

03C62: Models of arithmetic and set theory

Related Items

The undecidability of cyclotomic towers, Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ, Undecidability of ℚ⁽²⁾, Valued modules on skew polynomial rings and Bézout domains, Decidability and modules over Bézout domains, PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ, On the decidability of the theory of modules over the ring of algebraic integers, A valuation ring analogue of von Neumann regularity, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, The elementary theory of \(e\)-free PAC domains, Bézout domains and lattice-valued modules, Definability and decidability in infinite algebraic extensions, Model companion and model completion of theories of rings, On von Neumann regular rings with an automorphism, A generalization of von Neumann regularity, Definability of the natural numbers in totally real towers of nested square roots, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory, Recent results in the theory of constant reductions