Structure residuation. (Q2595666)

Verf. untersucht den Zusammenhang zwischen der Distributivität eines Verbandes und der Existenz maximaler oder minimaler Lösungen gewisser \(\supset\)-Beziehungen. In anderer Ausdrucksweise ist dies vom Ref. bereits in der Arbeit ``Untersuchungen über die Axiome des Klassenkalküls \dots'' (Videnskapsselsk. Skr., Mat.-nat. Kl., Kristiania, 1919, No. 3) gemacht worden, was Verf. nicht zu wissen scheint. Z. B. kommen das Theorem 3.1 des Verf. wie auch sein Korollar Seite 563 als Theorem \(6_\times\) in jener Arbeit des Ref. vor. Im letzten Teil seiner Arbeit leitet Verf. einige Sätze über die Dekomposition von Elementen distributiver Verbände in Primelemente her. Die im Abschnitt V betrachteten Verbände sind auch teilweise vom Ref. in der Arbeit ``Über gewisse \(\gg\)Verbände\(\ll\) oder \(\gg\)lattices\(\ll\)'' (Avh. Norske Vid. Akad. Oslo I 1936, Nr. 7 (F. d. M. \(62_{\text{II}}\)), insbesondere S. 11-15) behandelt worden. (II.)