Pages that link to "Item:Q2651108"
From MaRDI portal
The following pages link to Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen (Q2651108):
Displaying 13 items.
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
- Rings and partly ordered systems (Q2525194) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Regular Entailment Relations (Q5024727) (← links)
- Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953) (Q5024729) (← links)
- Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents (Q5024730) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
