Krull dimension, Nullstellensätze and dynamical evaluation
From MaRDI portal
(Redirected from Publication:1433399)
Recommendations
- Dynamical method in algebra: Effective Nullstellensätze
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
- A constructive notion of codimension
Cited in
(28)- Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
- A negative answer to a question about leading terms ideals of polynomial ideals
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- A counterexample to the Gröbner ring conjecture
- Valuative dimension and monomial orders
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Spectral schemes as ringed lattices
- An algorithm for unimodular completion over noetherian rings
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- The Gröbner ring conjecture in the lexicographic order case
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
- Krull dimension and monomial orders
- The Gröbner ring conjecture in one variable
- On the leading terms ideals of polynomial ideals over a valuation ring
- Extension by conservation. Sikorski's theorem
- Syntax for semantics: Krull's maximal ideal theorem
- The trailing terms ideal over a valuation domain
- Spectral spaces versus distributive lattices: a dictionary
- Dynamical method in algebra: Effective Nullstellensätze
- Hidden constructions in abstract algebra. I: Integral dependance.
- Valuative Lattices and Spectra
- Valuative dimension, constructive points of view
- Dimension de Krull, Nullstellens\"atze et \'Evaluation Dynamique
- n-stability of a support on a ring and application to projective modules
- A constructive proof of the general Nullstellensatz for Jacobson rings
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
- Dynamical Gröbner bases over Dedekind rings
This page was built for publication: Krull dimension, Nullstellensätze and dynamical evaluation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1433399)
