Statement:

Using the discrete topology on 2, \(2^{\cal P(\omega)}\) is compact.

Howard_Rubin_Number: 139

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

This form's transferability is: Transferable

This form's negation transferability is: Negation Transferable

Article Citations:
Truss-1984: Cancellation laws for surjective cardinals

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 137-k, 389,

Back