Pages that link to "Item:Q2643522"
From MaRDI portal
The following pages link to Strongly Noetherian rings and constructive ideal theory (Q2643522):
Displaying 8 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- 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.) (Q1887479) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Noetherian orders (Q3081324) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Constructing Gröbner bases for Noetherian rings (Q5740356) (← links)