Length of Polynomial Ascending Chains and Primitive Recursiveness.

DOI10.7146/MATH.SCAND.A-12421MaRDI QIDQ4274103zbMATH OpenOpenAlexFDO

Authors Guillermo Moreno-Socías

Publication date 23 February 1995

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/167222

zbMATH Keywords

polynomial ringlength of strictly ascending chain of ideals

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Commutative rings and modules of finite generation or presentation; number of generators (13E15)

Recommendations

• Ascending chains of ideals in the polynomial ring
• A bound for orders in differential Nullstellensatz
• scientific article; zbMATH DE number 177881
• How to Construct Huge Chains of Prime Ideals in Power Series Rings
• Bounds in the theory of polynomial rings over fields. A nonstandard approach

Cited in

(15)

• Effective uniform bounding in partial differential fields
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• Noetherianity and Specht problem for varieties of bicommutative algebras
• A bound for orders in differential Nullstellensatz
• Trajectories of polynomial vector fields and ascending chains of polynomial ideals
• Algebraic tools for computing polynomial loop invariants
• Estimates for the coefficients of differential dimension polynomials
• On the lengths of bad sequences of monomial ideals over polynomial rings
• Well partial orders
• Ideal membership in polynomial rings over the integers
• On bounds for the effective differential Nullstellensatz
• A topological method for finding invariant sets of continuous systems
• Ascending chains of ideals in the polynomial ring
• Proof mining and effective bounds in differential polynomial rings
• Tropical noetherity and Gröbner bases

This page was built for publication: Length of Polynomial Ascending Chains and Primitive Recursiveness.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4274103)