The following pages link to Nontrivial Uses of Trivial Rings (Q4732551):
Displaying 14 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- A universal coefficient theorem for Gauss's lemma (Q357883) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
- Trivializable rings of sets (Q1101567) (← links)
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Seminormal rings (following Thierry Coquand) (Q2476016) (← links)
- Making the use of maximal ideals constructive (Q2476020) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- Scalable monoids and quantity calculus (Q6047294) (← links)