Statement:
For all cardinals \(m\) and \(n\), if \(m\le^* n\) and \(\neg (n\le^* m)\) then there is a cardinal \(k \le n\) such that \(m\le^* k\).
Howard_Rubin_Number: 205
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:
Pelc-1978: On some weak forms of the axiom of choice in set theory
Book references
Note connections:
Note 69