Statement:
A system of linear equations over a field \(F\) has a solution in \(F\) if and only if every finite sub-system has a solution in \(F\).
Howard_Rubin_Number: 284
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Cowen-Emerson-1996: A compactness theorem for linear equations
Book references
Note connections: