Statement:

For any \(\kappa\), \(\kappa\) is the cardinal number of an infinite complete Boolean algebra if and only if \(\kappa^{\aleph_0} = \kappa \).

Howard_Rubin_Number: 248

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:
Plotkin-1976: \(ZF\) and Boolean Algebras

Book references

Note connections:
Note 86 Several properties of Boolean algebras provable in \(ZFC\) are not provable in \(ZF\) alone

The following forms are listed as conclusions of this form class in rfb1: 1,

Back