Dynamic evaluation of integrity and the computational content of Krull's lemma

DOI10.1016/j.jpaa.2021.106794zbMath1491.13011OpenAlexW3173578078WikidataQ124849037 ScholiaQ124849037MaRDI QIDQ1979322

Daniel Wessel, Peter M. Schuster, Ihsen Yengui

Publication date: 2 September 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2021.106794

zbMATH Keywords

constructive methodKrull dimensionvaluative dimension

Mathematics Subject Classification ID

Valuations and their generalizations for commutative rings (13A18) Other constructive mathematics (03F65) Chain conditions on annihilators and summands: Goldie-type conditions (16P60)

Related Items (6)

The Jacobson radical for an inconsistency predicate ⋮ A universal algorithm for Krull's theorem ⋮ Radical theory of Scott-open filters ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Maximal ideals in countable rings, constructively ⋮ The computational significance of Hausdorff's maximal chain principle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A universal Krull-Lindenbaum theorem
• Polynomials and radical ideals
• A course in constructive algebra
• Krull dimension, Nullstellensätze and dynamical evaluation
• Eliminating disjunctions by disjunction elimination
• Valuative dimension and monomial orders
• An algorithmic approach to the existence of ideal objects in commutative algebra
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Making the use of maximal ideals constructive
• Induction in Algebra: a First Case Study
• Induction in Algebra: A First Case Study
• Nontrivial Uses of Trivial Rings
• Resolving finite indeterminacy
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Dynamic evaluation of integrity and the computational content of Krull's lemma