Form Classes

Statement:

\(C(\infty,\aleph_{0})\):  Every family of denumerable sets has  a choice function.  Jech [1973b] p 115 prob 7.13.

Howard_Rubin_Number: 85

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:

Book references
The Axiom of Choice, Jech, T., 1973b

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 32, 62, 78, 85, 150, 213, 270, 349, 356, 314,

Back

Complete List of Equivalent Forms

Howard-Rubin Number Statement References
85 A

\(C(\infty,\le\aleph_{0})\): Every family of non-empty countable sets has a choice function.