Form equivalence class Howard-Rubin Number: 0
Statement:
For all cardinal numbers \(m\) and \(n\) and Dedekind finite cardinals \(p\), if \(p + m = p + n\) then \(m = n\).
Howard-Rubin number: 0 Q
Citations (articles):
Tarski [1949b]
Cancellation laws in the arithmetic of cardinals
Connections (notes):
Note [94]
Relationships between the different definitions of finite
References (books):
Back