Nontrivial Uses of Trivial Rings
From MaRDI portal
Publication:4732551
DOI10.2307/2047076zbMath0683.13004OpenAlexW4251121936MaRDI QIDQ4732551
Publication date: 1988
Full work available at URL: https://doi.org/10.2307/2047076
Related Items (13)
A universal Krull-Lindenbaum theorem ⋮ A universal coefficient theorem for Gauss's lemma ⋮ A universal algorithm for Krull's theorem ⋮ Scalable monoids and quantity calculus ⋮ 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 ⋮ The Zariski spectrum as a formal geometry ⋮ Seminormal rings (following Thierry Coquand) ⋮ Making the use of maximal ideals constructive ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Un anneau de Prüfer ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ Maximal ideals in countable rings, constructively
Cites Work
This page was built for publication: Nontrivial Uses of Trivial Rings