scientific article; zbMATH DE number 4031651

MaRDI QIDQ3772191zbMATH OpenFDO

Authors Christian Michaux

Publication date 1986

zbMATH Keywords

fundamental system of solutionslinear differential equationsquantifier eliminationalgebraically closed fieldcommutative integral differential ring

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Abstract differential equations (12H20) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Modules of differentials (13N05)

Recommendations

• scientific article; zbMATH DE number 3957070
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 3914300
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION
• Quantifier elimination in discriminator varieties
• scientific article; zbMATH DE number 4039867
• Quantifier elimination for modules
• Quantifier elimination on real closed fields and differential equations
• Élimination des quantificateurs dans des paires de corps
• Publication:3481680

Cited in

(6)

• scientific article; zbMATH DE number 4039867 (Why is no real title available?)
• Elimination theory in differential and difference algebra
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION
• scientific article; zbMATH DE number 3957070 (Why is no real title available?)
• Nullstellensatz over quasifields
• Quantifier elimination in linear difference equations over Witt vectors

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