Dynamic evaluation of integrity and the computational content of Krull's lemma
In the paper under review, the authors suggest a constructive procedure to determine the Krull dimension of a commutative ring. This procedure has been mostly developed in a previous paper by \textit{G. Kemper} and \textit{I. Yengui} [J. Algebra 557, 278--288 (2020; Zbl 1440.13112)]. Such paper deals with a constructive characterisation of the more general valuative dimension of a domain and contains only one non-constructive step: a reduction from the general case to the integral case. In the paper under review, the authors present a constructive argument for this reduction step via a dynamical solution.
- 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
- 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?)
- 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
- Krull dimension, Nullstellensätze and dynamical evaluation
- Maximal ideals in countable rings, constructively
- The computational significance of Hausdorff's maximal chain principle
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- A universal algorithm for Krull's theorem
- Radical theory of Scott-open filters
- A universal Krull-Lindenbaum theorem
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
- scientific article; zbMATH DE number 1217522 (Why is no real title available?)
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- The Jacobson radical for an inconsistency predicate
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
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)
