Form equivalence class Howard-Rubin Number: 0
Statement:
Cancellation for injective cardinal inequality:
For every \(k\in\omega - \{ 0\}\), \((\forall x \forall y)(kx \le ky\)implies \(x\le y)\)
(\(\le \) is the usual (injective) cardinal ordering.
Howard-Rubin number: 0 G
Citations (articles):
Lindenbaum/Tarski [1926]
Communication sur les recherches de la th'eorie des ensembles
Connections (notes):
References (books):
Back