Existentially closed domains with radical relations.
From MaRDI portal
Publication:3032354
DOI10.1515/crll.1990.407.178zbMath0691.12013MaRDI QIDQ3032354
No author found.
Publication date: 1990
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=GDZPPN002207621
decidability; axiomatizability; existentially closed domains; Local-Global-Principle; radical relations
12L05: Decidability and field theory
13L05: Applications of logic to commutative algebra
11R04: Algebraic numbers; rings of algebraic integers
03C62: Models of arithmetic and set theory
12L12: Model theory of fields
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, Model companion and model completion of theories of rings, A generalization of von Neumann regularity