Form equivalence class Howard-Rubin Number: 14
Statement: A system of equations over a finitering \(R\) has a solution in \(R\) if and only if every finite sub-systemhas a solution in \(R\). Abian [1972] and Note 30.
Howard-Rubin number: 14 BM
Citations (articles):
Connections (notes):
References (books):
Back