Form equivalence class Howard-Rubin Number: 0
Statement:
Cancellation for surjective cardinal equivalence:
For every \(k\in\omega -\{ 0\}\), \((\forall x\forall y)(kx =^* ky\) implies \(x =^* y)\)
(The expression \(x =^* y\) means that there is a function \(f\) from \(x\) onto \(y\) and a function \(g\) from \(y\) onto \(x\).)
Howard-Rubin number: 0 F
Citations (articles):
Truss [1984]
Cancellation laws for surjective cardinals
Connections (notes):
References (books):
Back