scientific article; zbMATH DE number 3914300

MaRDI QIDQ3690798zbMATH OpenFDO

Authors Max A. Dickmann

Publication date 1985

zbMATH Keywords

divisibilityordered commutative domainsreal closed valuation rings

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Divisibility and factorizations in commutative rings (13A05) Valuations and their generalizations for commutative rings (13A18) Ordered rings (13J25) Applications of logic to commutative algebra (13L05)

Recommendations

• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 4158613
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Elimination of quantifiers in algebraic structures
• Quantifier elimination for quasi-real closed fields

Cited in

(13)

• Simplification of quantifier-free formulae over ordered fields
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• scientific article; zbMATH DE number 4158613 (Why is no real title available?)
• Quantifier elimination for modules
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 4031651 (Why is no real title available?)
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Convexity Relations and Generalizations of o-Minimality
• Essential kinds of 1-types over sets of models of weakly o-minimal theories
• On the function depth in an o-stable ordered group of a finite convexity rank
• Some generalizations of o-minimality
• Relative elimination of quantifiers for Henselian valued fields
• Positive elimination in valued fields

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 Q3690798)