Pages that link to "Item:Q2074035"
From MaRDI portal
The following pages link to The Hahn-Banach theorem by disjunction elimination (Q2074035):
Displaying 6 items.
- Towards formal Baer criteria (Q2099403) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)