Abstract
It is proved that a system of linear equations over an arbitrary field has a solution if every finite subsystem has a solution provided that the set of variables can be well ordered.
Similar content being viewed by others
References
Howard, P., and J. Rubin, Weak forms of the Axiom of Choice, preprint.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cowen, R., Emerson, W. A compactness theorem for linear equations. Stud Logica 57, 355–357 (1996). https://doi.org/10.1007/BF00370839
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370839