Statement:

A countable product of separable \(T_2\) spaces is separable.

Howard_Rubin_Number: 354

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:
Keremedis-1996b: Some equivalents of \(AC\) in algebra

Book references

Note connections:
Note 132

The following definitions and results for forms [8 M], [8 N], [43 Q], [126 B] through [126 F] are from Keremedis [2000a].


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

Back