Form Classes

Statement:

If \(X\) is an infinite \(T_1\) space and \(X^{Y}\) is \(T_5\), then \(Y\) is countable. (\(T_5\) is 'hereditarily \(T_4\)'.)

Howard_Rubin_Number: 134

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:
Stone-1948: Paracompactness and product space

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 76, 292, 15, 53, 69, 64, 67, 126, 128, 146, 177, 200, 267, 323, 344, 390, 278, 106,

Back