Pages that link to "Item:Q2848365"
From MaRDI portal
The following pages link to Induction in Algebra: a First Case Study (Q2848365):
Displayed 9 items.
- The basic Zariski topology (Q887823) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)