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
12L05: Decidability and field theory
13L05: Applications of logic to commutative algebra
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Valued modules on skew polynomial rings and Bézout domains, Decidability and modules over Bézout domains, On the decidability of the theory of modules over the ring of algebraic integers, A valuation ring analogue of von Neumann regularity, The elementary theory of \(e\)-free PAC domains, Bézout domains and lattice-valued modules, Definability and decidability in infinite algebraic extensions, Hypersurfaces in projective schemes and a moving lemma, Model companion and model completion of theories of rings, A generalization of von Neumann regularity, Recent results in the theory of constant reductions