The following pages link to Ordering groups constructively (Q5238136):
Displayed 5 items.
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)