Description: Several properties of Boolean algebras provable in \(ZFC\) are not provable in \(ZF\) alone
Content:
In Plotkin [1976], it is shown that several properties of Boolean algebras provable in \(ZFC\) are not provable in \(ZF\) alone. Forms Form 247 and Form 248 are examples.
Howard-Rubin number: 86
Type: Remark
Back