A complete Boolean algebra that has no proper atomless complete subalgebra (Q1922490)

Eine atomfreie, vollständige Boolesche Algebra \(B\) ist ``einfach'', falls sie keine echten, atomfreien, vollständigen Subalgebren enthält. Unter Verwendung des Gödelschen Konstruktibilitäts-Axioms ``\(V=L\)'' der Mengenlehre hatte Ronald Jensen 1970 die Existenz solcher einfachen Booleschen Algebren gezeigt. Die von McAloon 1971 gestellte Frage, ob dies auch ohne Annahme von \(V=L\) bewiesen werden kann, blieb bisher unbeantwortet. In der vorliegenden Arbeit wird in der üblichen Zermelo-Skolem-Fraenkelschen Mengenlehre mit Auswahlaxiom \(\text{ZSF}+\text{AC}\) die Existenz einfacher Boolescher Algebren bewiesen. Dazu wird eine Erzwingungs-Relation (forcing notion) \({\mathcal P}\) konstruiert, deren zugehörige Boolesche Algebra \(B({\mathcal P})\) ``minimal'' ist und keinen Automorphismus besitzt, also ``einfach'' ist.