scientific article; zbMATH DE number 4158613

MaRDI QIDQ3486552zbMATH OpenFDO

Authors Max A. Dickmann

Publication date 1990

zbMATH Keywords

quantifier eliminationreciprocal theorems

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

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

Cited in

(11)

• scientific article; zbMATH DE number 3957070 (Why is no real title available?)
• Elimination of quantifiers in algebraic structures
• scientific article; zbMATH DE number 3914300 (Why is no real title available?)
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 1420851 (Why is no real title available?)
• ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Quantifier elimination for quasi-real closed fields
• Quantifier elimination of the theory of dense binary orders. I
• scientific article; zbMATH DE number 1534359 (Why is no real title available?)
• Fundamental theorems of analysis in formally real 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 Q3486552)