A complete Boolean algebra that has no proper atomless complete subalgebra
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.
- scientific article; zbMATH DE number 4089517
- Every recursive Boolean algebra is isomorphic to one with incomplete atoms
- A characterization of complete Boolean algebras
- scientific article; zbMATH DE number 1145735
- Some Properties of Complete Boolean Algebras
- Regular subalgebras of complete Boolean algebras
- scientific article; zbMATH DE number 3959504
- Atomless Boolean algebras computable in polynomial time
- On a superatomic Boolean algebra which is not generated by a well-founded sublattice
- Complete Quotient Boolean Algebras
This page was built for publication: A complete Boolean algebra that has no proper atomless complete subalgebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1922490)
