Nonstandard methods for bounds in differential polynomial rings

DOI10.1016/j.jalgebra.2012.03.013zbMath1272.12017arXiv1105.0600OpenAlexW2964089363MaRDI QIDQ1758177

Jack Klys, Matthew Harrison-Trainor, Rahim Moosa

Publication date: 8 November 2012

Published in: Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

differential algebracharacteristic sets ultraproductsinternal differential polynomials

Mathematics Subject Classification ID

Differential algebra (12H05) Nonstandard models in mathematics (03H05) Ultraproducts and related constructions (03C20) Ultraproducts and field theory (12L10)

Related Items (8)

Algorithms yield upper bounds in differential algebra ⋮ On the model companion of partial differential fields with an automorphism ⋮ Model theory of differential fields with finite group actions ⋮ Computation of differential Chow forms for ordinary prime differential ideals ⋮ New effective differential Nullstellensatz ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ Explicit polynomial bounds on prime ideals in polynomial rings over fields

Cites Work

• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Gromov's theorem on groups of polynomial growth and elementary logic
• A bound for the Rosenfeld-Gröbner algorithm
• A bound for orders in differential Nullstellensatz
• Constructions in Algebra
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonstandard methods for bounds in differential polynomial rings