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

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

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

(12)

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

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)