scientific article; zbMATH DE number 4152550

MaRDI QIDQ3481833zbMATH OpenFDO

Authors Lou van den Dries, Angus Macintyre

Publication date 1990

Full work available at URL https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002207559, https://eudml.org/doc/153228

zbMATH Keywords

complete theoryquantifier elimination theorem for good Rumeley domains

Mathematics Subject Classification ID

Decidability and field theory (12L05) Quantifier elimination, model completeness, and related topics (03C10) Applications of logic to commutative algebra (13L05)

Recommendations

• On Rumely's local-global principle
• A logical theory of localization
• Local properties in modal logic
• Local possibilistic logic
• Locology and localistic logic: mathematical and epistemological aspects
• A Local System for Classical Logic
• Locality for classical logic
• On real local-global principles
• Localizing the axioms

Cited in

(17)

• Bezout Domains and Elliptic Curves
• Valued modules on skew polynomial rings and Bézout domains
• scientific article; zbMATH DE number 4134017 (Why is no real title available?)
• A valuation ring analogue of von Neumann regularity
• Bézout domains and lattice-valued modules
• Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
• Footprints in Local Reasoning
• Definability and decidability in infinite algebraic extensions
• Model companion and model completion of theories of rings
• Valuative Lattices and Spectra
• Decidability and modules over Bézout domains
• scientific article; zbMATH DE number 5762131 (Why is no real title available?)
• A generalization of von Neumann regularity
• Recent results in the theory of constant reductions
• Hypersurfaces in projective schemes and a moving lemma
• The elementary theory of e-free PAC domains
• On the decidability of the theory of modules over the ring of algebraic integers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3481833)