Statement:

A countable product of first countable spaces is first countable.

Howard_Rubin_Number: 353

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: 350,

Back