Form equivalence class Howard-Rubin Number: 218
Statement:
For all primes \(p\), \(MC(\infty,\infty,\) relatively prime to \(p), \forall p, MC4(p)\): For every set \(X\) of non-empty sets there is a function \(f\) with domain \(X\) such that \(\forall u \in X\), \(f(u)\) is a finite non-empty subset of \(u\) such that \(|f(u)|\) and \(p\) are relatively prime. See Form 218, Rubin, H/Rubin, J. [1985], p.124.
Howard-Rubin number: 218 B
Citations (articles):
Bleicher [1964]
Some theorems on vector spaces and the axiom of choice
Connections (notes): Note [161]
References (books): Book: Equivalents of the Axiom of Choice II, Rubin-Rubin, [1985]
Back