Pages that link to "Item:Q2986836"
From MaRDI portal
The following pages link to Induction in Algebra: A First Case Study (Q2986836):
Displayed 11 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← 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 constructive notion of codimension (Q2445023) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← 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)