Statement:

For every cardinal \(m\), there is a set \(A\) such that \(2^{|A|^2}\ge m\) and there is a choice function on the collection of 2-element subsets of \(A\).

Howard_Rubin_Number: 269

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

This form's transferability is: Unknown

This form's negation transferability is: Unknown

Article Citations:
Lampe-1974: Subalgebra lattices of unary algebras and an axiom of choice

Book references

Note connections:

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

Back