Elimination of quantifiers in algebraic structures

DOI10.1016/0001-8708(83)90055-5zbMath0531.03016OpenAlexW2081719649MaRDI QIDQ787962

Angus J. Macintyre, Kenneth McKenna, L. P. D. van den Dries

Publication date: 1983

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(83)90055-5

zbMATH Keywords

quantifier eliminationreal closed fieldsvalued fieldsalgebraically closed fieldsalgebraically closed ringsInfinite ringsmodel theoretic algebraordered domainsOrdered fieldsp-adically closed fieldsp-fieldsrings with identity

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Connections between field theory and logic (12L99) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, Amalgamation and Elimination of Quantifiers for Theories of Fields, A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field, The complexity of linear problems in fields, A bibliography of quantifier elimination for real closed fields, Model companion and model completion of theories of rings, Substructures and uniform elimination for p-adic fields, A valuation ring analogue of von Neumann regularity, Superstable differential fields, Élimination des quantificateurs dans des paires de corps, Elimination of quantifiers for ordered valuation rings, On VC-minimal fields and dp-smallness, Canonical forms for definable subsets of algebraically closed and real closed valued fields, Definable V-topologies, Henselianity and NIP, Topological differential fields, SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION, Model theory and diophantine geometry, A version of o-minimality for the p-adics, Prototypes for definable subsets of algebraically closed valued fields, DP-MINIMAL VALUED FIELDS, A generalization of von Neumann regularity, Immediately algebraically closed fields, Ordered Rings Over Which Output Sets are Recursively Enumerable Sets, Henselianity and the Denef-Pas language, Isomorphism theorem for BSS recursively enumerable sets over real closed fields, Definable sets in algebraically closed valued fields: elimination of imaginaries, Valued Fields withKCommuting Derivations, Some aspects of studying an optimization or decision problem in different computational models, Real closed rings. II. Model theory, Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués)., Saturation and stability in the theory of computation over the reals, Lectures on the Model Theory of Valued Fields, Weakly o-minimal structures and real closed fields, Cell decompositions of \(C\)-minimal structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete theories
• The elementary theory of finite fields
• Maximal fields with valuations
• Rings which admit elimination of quantifiers
• On definable subsets of p-adic fields
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Diophantine Problems Over Local Fields I
• Decision procedures for real and p‐adic fields
• On $ω_1$-categorical theories of fields
• Elementary Statements Over Large Algebraic Fields