scientific article; zbMATH DE number 4158613

zbMATH Open0706.03031MaRDI QIDQ3486552FDOQ3486552

Authors: Max A. Dickmann 

Publication date: 1990

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

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

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)

Cited In (10)

• Title not available (Why is that?)
• Elimination of quantifiers in algebraic structures
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elimination of quantifiers for ordered valuation rings
• Quantifier elimination of the theory of dense binary orders. I
• Title not available (Why is that?)
• 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)