Statement:

For all infinite \(X\), there is a non-principal measure on \(\cal P(X)\).

Howard_Rubin_Number: 221

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:
Solovay-Pincus-1977: Definability of measures and ultrafilters

Book references

Note connections:
Note 147 Definitions for measures on Boolean algebras.

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

Back