scientific article; zbMATH DE number 4031651

zbMATH Open0634.03028MaRDI QIDQ3772191FDOQ3772191

Authors: Christian Michaux 

Publication date: 1986

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• Elimination theory in differential and difference algebra
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION
• Title not available (Why is that?)
• 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)