Form Classes

Statement:

\(UT(WO,2,WO)\): The union of an infinite well ordered set of 2-element sets is an infinite well ordered set.

Howard_Rubin_Number: 111

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

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 80, 110, 423, 288-n,

Back

Complete List of Equivalent Forms

Howard-Rubin Number Statement References
111 A

\(C(WO,2)\): Every well ordered family of 2-element sets has a choice function.