The following pages link to (Q3931592):
Displaying 8 items.
- Locales in functional analysis (Q807736) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A globalisation of the Gelfand duality theorem (Q2575765) (← links)
- (Q3732350) (← links)
- (Q4668868) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)