Form equivalence class Howard-Rubin Number: 317
Statement:
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-Rubin number: 317 A
Citations (articles):
Howard [1973]
Limitations on the Fraenkel-Mostowski method of independence proofs
Connections (notes):
References (books):
Back