Skip to Main Content

Proceedings of the American Mathematical Society

Published by the American Mathematical Society since 1950, Proceedings of the American Mathematical Society is devoted to shorter research articles in all areas of pure and applied mathematics.

ISSN 1088-6826 (online) ISSN 0002-9939 (print)

The 2024 MCQ for Proceedings of the American Mathematical Society is 0.85.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Łoś’ theorem and the Boolean prime ideal theorem imply the axiom of choice
HTML articles powered by AMS MathViewer

by Paul E. Howard
Proc. Amer. Math. Soc. 49 (1975), 426-428
DOI: https://doi.org/10.1090/S0002-9939-1975-0384548-X
PDF | Request permission

Abstract:

In this paper it is shown that Łoś’ theorem and the Boolean prime ideal theorem imply the axiom of choice. The possibility of eliminating the use of the Boolean prime ideal theorem from the proof is also discussed.
References
    J. Łoś, Quelque remarques, théorèmes et problèmes sur les classes définissables d’algèbres, Mathematical Interpretation of Formal Systems, North-Holland, Amsterdam, 1955, pp. 98-113. MR 17, 700.
Similar Articles
  • Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02K20
  • Retrieve articles in all journals with MSC: 02K20
Bibliographic Information
  • © Copyright 1975 American Mathematical Society
  • Journal: Proc. Amer. Math. Soc. 49 (1975), 426-428
  • MSC: Primary 02K20
  • DOI: https://doi.org/10.1090/S0002-9939-1975-0384548-X
  • MathSciNet review: 0384548