The following pages link to (Q5718574):
Displaying 19 items.
- Krull dimension and monomial orders (Q397891) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- On the Krull dimension of noetherian rings (Q731909) (← links)
- On the existence of unimodular elements and cancellation of projective modules over noetherian and non-noetherian rings (Q891662) (← links)
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
- The Hermite ring conjecture in dimension one (Q947534) (← links)
- Space of valuations (Q1006605) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive theory of minimal zero-dimensional extensions (Q2435202) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Seminormal rings (following Thierry Coquand) (Q2476016) (← links)
- On stably free modules over Laurent polynomial rings (Q3103888) (← links)
- Stably free modules over $\mathbf{R}[X]$ of rank $> \dim\mathbf{R}$ are free (Q3168742) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- A Characterization of Constructive Dimension (Q4918047) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- (Q5111248) (← links)
- Krull dimension in set theory (Q6109088) (← links)
