Pages that link to "Item:Q273003"
From MaRDI portal
The following pages link to A universal Krull-Lindenbaum theorem (Q273003):
Displaying 14 items.
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- A note on connected reduced rings (Q2074409) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
