Elimination theory for the ring of algebraic integers.

DOI10.1515/crll.1988.388.189zbMath0659.12021OpenAlexW164750653MaRDI 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

decidabilitymodel theoryelimination theoremelementary problemalgebraic integer points on absolutely irreducible varietiesdimension theory for definable sets

Mathematics Subject Classification ID

Decidability and field theory (12L05) Diophantine equations in many variables (11D72) Algebraic numbers; rings of algebraic integers (11R04) Models of arithmetic and set theory (03C62)

Related Items (20)

Model companion and model completion of theories of rings ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ A valuation ring analogue of von Neumann regularity ⋮ Recent results in the theory of constant reductions ⋮ Definability of the natural numbers in totally real towers of nested square roots ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ Valuative Lattices and Spectra ⋮ Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ ⋮ On von Neumann regular rings with an automorphism ⋮ The elementary theory of \(e\)-free PAC domains ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ On the decidability of the theory of modules over the ring of algebraic integers ⋮ A generalization of von Neumann regularity ⋮ Undecidability of ℚ⁽²⁾ ⋮ Bézout domains and lattice-valued modules ⋮ 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 ℚ ⋮ The undecidability of cyclotomic towers ⋮ Definability and decidability in infinite algebraic extensions

This page was built for publication: Elimination theory for the ring of algebraic integers.