BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH

DOI10.1017/bsl.2020.48zbMath1462.03025OpenAlexW3120721795MaRDI QIDQ4984866

No author found.

Publication date: 21 April 2021

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2020.48

zbMATH Keywords

nilpotencycommutative ringsproof miningquantitative versionsbounded functional interpretation

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ideals and multiplicative ideal theory in commutative rings (13A15) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Injecting uniformities into Peano arithmetic
• Countable algebra and set existence axioms
• Proof mining and effective bounds in differential polynomial rings
• Nonstandard methods for bounds in differential polynomial rings
• An algorithmic approach to the existence of ideal objects in commutative algebra
• On the removal of weak compactness arguments in proof mining
• Bounded functional interpretation
• Nontrivial Uses of Trivial Rings
• Some logical metatheorems with applications in functional analysis
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH