Nonstandard methods for bounds in differential polynomial rings

DOI10.1016/j.jalgebra.2012.03.013zbMath1272.12017arXiv1105.0600MaRDI 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 algebra; characteristic sets ultraproducts; internal differential polynomials

Mathematics Subject Classification ID

12H05: Differential algebra

03H05: Nonstandard models in mathematics

03C20: Ultraproducts and related constructions

12L10: Ultraproducts and field theory

Related Items

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

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