Statement:
For every infinite set \(A\), \(A\) admits a partition into sets of order type \(\omega^{*} + \omega\). (For every infinite \(A\), there is a set \(\{\langle C_j,<_j \rangle: j\in J\}\) such that \(\{C_j: j\in J\}\) is a partition of \(A\) and for each \(j\in J\), \(<_j\) is an ordering of \(C_j\) of type \(\omega^* + \omega\).)
Howard_Rubin_Number: 129
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:
Brunner-1984f: Realisierung und Auswahlaxiom
Book references
Note connections: