scientific article; zbMATH DE number 1420851

MaRDI QIDQ4944919zbMATH OpenFDO

Authors E. A. Palyutin

Publication date 23 August 2000

zbMATH Keywords

additive theoriescommutative theoriesquantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 1534359
• Quantifier elimination for quasi-real closed fields
• scientific article; zbMATH DE number 4158613
• Quantifier elimination for modules with scalar variables
• On elimination of quantifiers in some non-classical mathematical theories

Cited in

(7)

• Quantifier elimination for modules with scalar variables
• Expansions of categorical antiadditive Horn theories till additive ones
• Interpretation of graphs in noncommutative theories of Frechet powers
• A class of particular inductive rings and bi-inductive rings
• scientific article; zbMATH DE number 1534359 (Why is no real title available?)
• Cross additivity - an application
• scientific article; zbMATH DE number 3025555 (Why is no real title available?)

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