Dynamic evaluation of integrity and the computational content of Krull's lemma
From MaRDI portal
Publication:1979322
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
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
