scientific article; zbMATH DE number 4152550

zbMATH Open0703.13021MaRDI QIDQ3481833FDOQ3481833

Authors: Lou van den Dries, Angus Macintyre 

Publication date: 1990

Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002207559

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

• Bezout Domains and Elliptic Curves
• Valued modules on skew polynomial rings and Bézout domains
• Title not available (Why is that?)
• A valuation ring analogue of von Neumann regularity
• Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
• Bézout domains and lattice-valued modules
• 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
• Title not available (Why is that?)
• 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)