scientific article; zbMATH DE number 4039867

MaRDI QIDQ3778729zbMATH OpenFDO

Authors Christian Michaux

Publication date 1987

zbMATH Keywords

ordered differential fieldreal closed field

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Abstract differential equations (12H20) Ordered fields (12J15) Model theory of fields (12L12)

Recommendations

• scientific article; zbMATH DE number 4031651
• scientific article; zbMATH DE number 3957070
• Elimination of algorithmic quantifiers for ordered differential algebra
• Publication:3481680
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION

Cited in

(10)

• Elimination of algorithmic quantifiers for ordered differential algebra
• Dynamical recognizers: real-time language recognition by analog computers
• Some remarks concerning the theory of ordered differentially closed fields.
• scientific article; zbMATH DE number 4152348 (Why is no real title available?)
• scientific article; zbMATH DE number 3957070 (Why is no real title available?)
• scientific article; zbMATH DE number 4031651 (Why is no real title available?)
• Constrained extensions of real type
• A nullstellensatz and a positivstellensatz for ordered differential fields
• Strong density of definable types and closed ordered differential fields
• Ordered differential 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 Q3778729)