Effective uniform bounding in partial differential fields

DOI10.1016/j.aim.2015.10.013zbMath1401.12002arXiv1411.0029OpenAlexW2963252317MaRDI QIDQ900852

James Freitag, Omar León Sánchez

Publication date: 23 December 2015

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.0029

zbMATH Keywords

differential fieldsprolongation spacesuniform bounding

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Abstract differential equations (12H20)

Related Items (9)

Effective bounds for the consistency of differential equations ⋮ Model theory of differential fields with finite group actions ⋮ New order bounds in differential elimination algorithms ⋮ New effective differential Nullstellensatz ⋮ Partial differential Chow forms and a type of partial differential Chow varieties ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Ax-Lindemann-Weierstrass with derivatives and the genus 0 Fuchsian groups ⋮ Strong minimality and the \(j\)-function ⋮ Effective definability of Kolchin polynomials

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Definability and fast quantifier elimination in algebraically closed fields
• Prolongations in differential algebra
• Petri nets and large finite sets
• Prolongation of integral domains
• A note on the axioms for differentially closed fields of characteristic zero
• A bound for orders in differential Nullstellensatz
• The rational points of a definable set
• Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
• Associative differential operations
• FIELDS WITH SEVERAL COMMUTING DERIVATIONS
• An algorithm for the computation of the radical of an ideal
• Jet and prolongation spaces
• Length of Polynomial Ascending Chains and Primitive Recursiveness.
• Geometry of Differential Polynomial Functions, I: Algebraic Groups
• Singularities of pairs via jet schemes
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• Complexity of quantifier elimination in the theory of ordinary differential equations

This page was built for publication: Effective uniform bounding in partial differential fields