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

DOI10.1016/J.JPAA.2021.106794MaRDI QIDQ1979322zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

Krull dimensionconstructive methodvaluative dimension

Mathematics Subject Classification ID

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

Recommendations

• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• Krull dimension, Nullstellensätze and dynamical evaluation
• A constructive notion of codimension
• On the Krull dimension of noetherian rings

Cites work

• scientific article; zbMATH DE number 3156444 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 897923 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 3392596 (Why is no real title available?)
• A course in constructive algebra
• A universal Krull-Lindenbaum theorem
• 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
• Dynamical method in algebra: Effective Nullstellensätze
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination
• Induction in algebra: a first case study
• Induction in algebra: a first case study
• Krull dimension, Nullstellensätze and dynamical evaluation
• Making the use of maximal ideals constructive
• Nontrivial Uses of Trivial Rings
• Polynomials and radical ideals
• Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
• Valuative dimension and monomial orders

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
• scientific article; zbMATH DE number 1217522 (Why is no real title available?)
• 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)