The following pages link to Daniel Wessel (Q1688958):
Displayed 19 items.
- Eliminating disjunctions by disjunction elimination (Q1688959) (← 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)
- Algebras of complemented subsets (Q2104273) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Ribenboim's order extension theorem from a constructive point of view (Q2283062) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q4553278) (← links)
- A General Extension Theorem for Directed-Complete Partial Orders (Q4627726) (← 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)
- Some forms of excluded middle for linear orders (Q5108849) (← links)
- Resolving finite indeterminacy (Q5145683) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- (Q5869519) (← links)