Statement:

There is an \(X\subseteq{\Bbb R}\) such that neither \(X\) nor \(\Bbb R - X\) has a perfect subset.

Howard_Rubin_Number: 272

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-1974b: Models of set theory containing many perfect sets

Book references

Note connections:
Note 28 Definitions for the various versions of the Baire category theorem

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

Back