Krull dimension, Nullstellensätze and dynamical evaluation
From MaRDI portal
Publication:1433399
DOI10.1007/s002090100305zbMath1095.13517OpenAlexW391884107MaRDI QIDQ1433399
Publication date: 17 June 2004
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002090100305
Ideals and multiplicative ideal theory in commutative rings (13A15) Other constructive mathematics (03F65) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15)
Related Items
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.) ⋮ Spectral schemes as ringed lattices ⋮ The Gröbner ring conjecture in the lexicographic order case ⋮ The trailing terms ideal over a valuation domain ⋮ Valuative dimension and monomial orders ⋮ Krull dimension and monomial orders ⋮ A negative answer to a question about leading terms ideals of polynomial ideals ⋮ The Gröbner ring conjecture in one variable ⋮ Valuative Lattices and Spectra ⋮ Valuative dimension, constructive points of view ⋮ On the leading terms ideals of polynomial ideals over a valuation ring ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ An algorithm for unimodular completion over noetherian rings ⋮ A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa ⋮ Unnamed Item ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Hidden constructions in abstract algebra. I: Integral dependance. ⋮ CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS ⋮ A counterexample to the Gröbner ring conjecture ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem