Publication:3481833
From MaRDI portal
zbMath0703.13021MaRDI QIDQ3481833
L. P. D. van den Dries, Angus J. Macintyre
Publication date: 1990
Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002207559
Decidability and field theory (12L05) Applications of logic to commutative algebra (13L05) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Model companion and model completion of theories of rings, A valuation ring analogue of von Neumann regularity, Recent results in the theory of constant reductions, Valuative Lattices and Spectra, The elementary theory of \(e\)-free PAC domains, On the decidability of the theory of modules over the ring of algebraic integers, A generalization of von Neumann regularity, Bézout domains and lattice-valued modules, Valued modules on skew polynomial rings and Bézout domains, Decidability and modules over Bézout domains, Definability and decidability in infinite algebraic extensions, Hypersurfaces in projective schemes and a moving lemma