Form Classes

Statement:

\(MPL\): Metric spaces are para-Lindelöf.

Howard_Rubin_Number: 173

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:
Howard-Rubin-Stanley-Keremedis-2000a: Paracompactness of metric spaces and the axiom of choice

Book references

Note connections:
Note 141 Definitions for various forms

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

Back

Complete List of Equivalent Forms

Howard-Rubin Number Statement References
173 A

MML: Metric spaces are meta-Lindelöf.

Howard-Rubin-Stanley-Keremedis-2000a
Note [141]