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)

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

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)