Nonstandard methods for bounds in differential polynomial rings
From MaRDI portal
Publication:1758177
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
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