Braucht der Algebraiker das Auswahlaxiom? (Q2590268)

Verf. diskutiert vom naiven An-sich-Standpunkt aus verschiedene mit dem Auswahlaxiom (``Prinzip A'') zusammenhängende Aussagen. Insbesondere zeigt er (an vielen Beispielen), daß der Algebraiker effektiv mit dem (in drei Fassungen gegebenen) Prinzip \(D\) auskommt: In einer nichtleeren Menge \(Y\) von Teilmengen einer Menge \(\mathfrak M\), die mit jeder Menge auch deren Teilmengen enthält, die ferner jede Menge enthält'' deren sämtliche endlichen Teilmengen zu \(Y\) gehören, gibt es eine maximale Menge. Gilt \(A\) für \(\mathfrak M\), so auch \(D\). Verf. kann jedoch \(A\) für \(\mathfrak M\) nur dadurch zeigen, daß er \(D\) für eine Menge von höherein Typus als \(\mathfrak M\) voraussetzt. In gewissem Sinne scheint also \(D\) schwächer als \(A\) zu sein.