Form equivalence class Howard-Rubin Number: 1
Statement:
Refined Dual Cantor-Bernstein Theorem: If \(f : X\rightarrow Y\) and \(g : Y \rightarrow X\) are onto then there is a bijection \(h : X \rightarrow Y\) such that \(h \subseteq f \cup g^{-1}\).
Howard-Rubin number: 1 Y
Citations (articles):
Banaschewski/Moore [1990]
The dual Cantor-Bernstein theorem and the partition principle
Connections (notes):
References (books):
Back