References
H. Andréka andI. Németi,HSPK is an equational class, without the Axiom of Choice. Algebra Universalis,13 (1981), 164–166.
H. Andréka andI. Németi,Does SPK⊃-PSK imply the Axiom of Choice? Comment. Math Univ. Carolina,21 (1980), 699–706.
H.Andréka, D.Monk, and I.Németi,The Axiom of Foundation and operators on classes of algebra, Manuscript.
G. Grätzer,Universal Algebra, Second Edition. Springer Verlag, New York, Heidelberg, Berlin, 1979.
G. Grätzer,A statement equivalent to the Axiom of Choice. Abstract: Notices Amer. Math. Soc.12 (1965), 217.
K. Kunen,Set Theory, An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics. North Holland Publishing Company, Amsterdam, 1980.
H. Rubin andJ. Rubin,Equivalents of the Axiom of Choice. Studies in Logic and the Foundations of Mathematics. North Holland Publishing Company, Amsterdam, 1963.
Author information
Authors and Affiliations
Additional information
To the memory of András Huhn
Research supported by NSERC of Canada.
Rights and permissions
About this article
Cite this article
Grätzer, G. Birkhoff's representation theorem is equivalent to the axiom of choice. Algebra Universalis 23, 58–60 (1986). https://doi.org/10.1007/BF01190911
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01190911