No CrossRef data available.
Article contents
BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH
Published online by Cambridge University Press: 05 January 2021
Abstract
It is well-known that an element of a commutative ring with identity is nilpotent if, and only if , it lies in every prime ideal of the ring. A modification of this fact is amenable to a very simple proof mining analysis. We formulate a quantitative version of this modification and obtain an explicit bound. We present an application. This proof mining analysis is the leitmotif for some comments and observations on the methodology of computational extraction. In particular, we emphasize that the formulation of quantitative versions of ordinary mathematical theorems is of independent interest from proof mining metatheorems.
Keywords
- Type
- Communication
- Information
- Copyright
- © The Association for Symbolic Logic 2021