Statement:
Weak Sikorski Theorem: If \(B\) is a complete, well orderable Boolean algebra and \(f\) is a homomorphism of the Boolean algebra \(A'\) into \(B\) where \(A'\) is a subalgebra of the Boolean algebra \(A\), then \(f\) can be extended to a homomorphism of \(A\) into \(B\).
Howard_Rubin_Number: 317
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Howard-1973: Limitations on the Fraenkel-Mostowski method of independence proofs
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 317 A | If \(B\) is a complete, well orderable Boolean algebra and \(A\) is a Boolean algebra of which \(B\) is a subalgebra, then there is an ideal \(I\) of \(A\) satisfying \(I\cap B=\{0\}\) and \(I\) is maximal among those ideals \(J\) of \(A\) satisfying \(J \cap B = \{0\}\). |
Howard [1973]
|