Dynamic evaluation of integrity and the computational content of Krull's lemma
DOI10.1016/J.JPAA.2021.106794zbMATH Open1491.13011OpenAlexW3173578078WikidataQ124849037 ScholiaQ124849037MaRDI QIDQ1979322FDOQ1979322
Authors: Peter Schuster, Daniel Wessel, 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
Recommendations
Other constructive mathematics (03F65) Chain conditions on annihilators and summands: Goldie-type conditions (16P60) Valuations and their generalizations for commutative rings (13A18)
Cites Work
- Title not available (Why is that?)
- A course in constructive algebra
- A universal Krull-Lindenbaum theorem
- Induction in algebra: a first case study
- Title not available (Why is that?)
- Nontrivial Uses of Trivial Rings
- Title not available (Why is that?)
- Krull dimension, Nullstellensätze and dynamical evaluation
- Making the use of maximal ideals constructive
- Dynamical method in algebra: Effective Nullstellensätze
- Title not available (Why is that?)
- Title not available (Why is that?)
- Polynomials and radical ideals
- 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
- Induction in algebra: a first case study
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
- An algorithmic approach to the existence of ideal objects in commutative algebra
- Valuative dimension and monomial orders
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
Cited In (12)
- Maximal ideals in countable rings, constructively
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- The computational significance of Hausdorff's maximal chain principle
- A universal Krull-Lindenbaum theorem
- A universal algorithm for Krull's theorem
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Krull dimension, Nullstellensätze and dynamical evaluation
- Title not available (Why is that?)
- The Jacobson radical for an inconsistency predicate
- Radical theory of Scott-open filters
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
This page was built for publication: Dynamic evaluation of integrity and the computational content of Krull's lemma
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1979322)
