Form equivalence class Howard-Rubin Number: 1
Statement:
For every Abelian group \((G,+)\), for every \(H \subseteq G\), the infinite system of equations \[x_i + y_i = a_i,\ i\in I,\ a_i\in G\] has a solution in \(H\) iff each of its equations has a solution in \(H\).
Howard-Rubin number: 1 BS
Citations (articles):
Keremedis [1996b]
Some equivalents of \(AC\) in algebra
Connections (notes):
References (books):
Back