Form equivalence class Howard-Rubin Number: 138-k
Statement:
For all standard \(X\) and \(Y\), Form 138(\(k\)) holds. This is equivalent to Form 138(\(k\)) in \(ZF^{0}\).
Howard-Rubin number: 138 A-k
Citations (articles):
Truss [1984]
Cancellation laws for surjective cardinals
Connections (notes):
References (books):
Back