Statement:

There is no infinite, free complete Boolean algebra.

Howard_Rubin_Number: 267

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Unknown

Article Citations:
Stavi-1975: A model of ZF with an infinite free complete Boolean algebra

Book references

Note connections:
Note 89 Definitions for Note 267 and [0 Y].

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

Back