Form Classes

Statement:

\(UT(\aleph_{0},\aleph_{0},\aleph_{0})\): The countable union theorem:  The union of a denumerable set of denumerable sets is denumerable.

Howard_Rubin_Number: 31

Parameter(s): This form does not depend on parameters

This form's transferability is: Transferable

This form's negation transferability is: Negation Transferable

Article Citations:
Cantor-1878: Ein Beitrag zur Mannigfaltigkeitslehre

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 29, 132, 76, 253, 289, 292, 304, 6, 9, 13, 17, 27, 34, 31, 32, 35, 125, 53, 69, 64, 84, 111, 118, 124, 126, 127, 128, 146, 155, 156, 177, 200, 209, 267, 290, 291, 299, 300, 322, 323, 328, 338, 369, 390, 418, 65, 157, 278, 106, 131, 355, 97, 419, 59-le,

Back