Form equivalence class Howard-Rubin Number: 1
Statement:
\(PC(\aleph_0,\hbox{odd},\infty)\) +\(MC_{\omega^+}\). \(PC(\aleph_0,\hbox{odd},\infty)\) is ``Every denumerable family of odd sized (finite) sets has an infinite subfamily with a choice function.'' and \(MC_{\omega^+}\)is ``For every natural number \(n \ge 1\) and forevery set of non-empty sets, there is a function \(f\) such that for each \(u\in x\), \(f(u)\) is a non-empty finite subset of \(u\) suchthat \(|f(u)|\) and \(n\) are relatively prime.''
Howard-Rubin number: 1 CC
Citations (articles):
Connections (notes): Note [133]
Prove forms [1 F] and [1 CC] are equivalent to Form 1
References (books):
Back