Statement:

\(UT(\aleph_0\),\(\aleph_0\),cuf): The union of a denumerable set of denumerable sets is cuf.

Howard_Rubin_Number: 420

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:
De-la-Cruz-Hall-Howard-Keremedis-Rubin-2002A: Metric spaces and the axiom of choice

Book references

Note connections:

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

Back