Form equivalence class Howard-Rubin Number: 14
Statement: A system of equations over a finite structure\((A,+,\cdot)\) has a solution in \(A\), if and only if every finitesub-system has a solution in \(A\). Note 30.
Howard-Rubin number: 14 BO
Citations (articles):
Connections (notes):
References (books):
Back