Skip to main content
Log in

A compactness theorem for linear equations

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Howard, P., and J. Rubin, Weak forms of the Axiom of Choice, preprint.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370839

Key words

Navigation