Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
From MaRDI portal
Publication:2651108
DOI10.1007/BF01174126zbMath0051.25302OpenAlexW2046970834MaRDI QIDQ2651108
Publication date: 1953
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/169331
Related Items
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Eliminating disjunctions by disjunction elimination, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Rings and partly ordered systems, Cut elimination for entailment relations, Ordering groups constructively, Lattice-ordered groups generated by an ordered group and regular systems of ideals, Lorenzen and Constructive Mathematics, Syntax for Semantics: Krull’s Maximal Ideal Theorem, Regular Entailment Relations, Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953), Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents
Cites Work