Pages that link to "Item:Q1688959"
From MaRDI portal
The following pages link to Eliminating disjunctions by disjunction elimination (Q1688959):
Displayed 16 items.
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- An unexpected Boolean connective (Q2169126) (← 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)
- Constructive Proofs of Negated Statements (Q3305626) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q4553278) (← links)
- (Q5009708) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)