Statement:
Idemmultiple Partition Principle: If \(y\) is idemmultiple (\(2\times y\approx y\)) and \(x\precsim ^* y\), then \(x\precsim y\).
Howard_Rubin_Number: 347
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:
Higasikawa-1995: Partition principles and infinite sums of cardinal numbers
Book references
Note connections:
Note 69