Elimination theory for the ring of algebraic integers.
From MaRDI portal
Publication:3808206
DOI10.1515/crll.1988.388.189zbMath0659.12021MaRDI QIDQ3808206
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
decidability; model theory; elimination theorem; elementary problem; algebraic integer points on absolutely irreducible varieties; dimension theory for definable sets
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, 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, 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, Recent results in the theory of constant reductions