Hostname: page-component-8448b6f56d-xtgtn Total loading time: 0 Render date: 2024-04-19T06:52:39.628Z Has data issue: false hasContentIssue false
  • English
  • Français

Connections between axioms of set theory and basic theorems of universal algebra

Published online by Cambridge University Press:  12 March 2014

H. Andréka ,
Á. Kurucz  and
I. Németi
H. Andréka
Affiliation:
Mathematical Institute of the Hungarian Academy of Sciences, Budapest, H-1364, Hungary, E-mail: andreka@rmk530.rmki.kfki.hu
Á. Kurucz
Affiliation:
Mathematical Institute of the Hungarian Academy of Sciences, Budapest, H-1364, Hungary, E-mail: kurucz@rmk530.rmki.kfki.hu
I. Németi
Affiliation:
Mathematical Institute of the Hungarian Academy of Sciences, Budapest, H-1364, Hungary, E-mail: hl469nem@huella.bitnet
Get access Rights & Permissions [Opens in a new window]

Abstract.

One of the basic theorems in universal algebra is Birkhoff's variety theorem: the smallest equationally axiomatizable class containing a class K of algebras coincides with the class obtained by taking homomorphic images of subalgebras of direct products of elements of K. G. Grätzer asked whether the variety theorem is equivalent to the Axiom of Choice. In 1980, two of the present authors proved that Birkhoff's theorem can already be derived in ZF. Surprisingly, the Axiom of Foundation plays a crucial role here: we show that Birkhoff's theorem cannot be derived in ZF + AC \{Foundation}, even if we add Foundation for Finite Sets. We also prove that the variety theorem is equivalent to a purely set-theoretical statement, the Collection Principle. This principle is independent of ZF\{Foundation}. The second part of the paper deals with further connections between axioms of ZF-set theory and theorems of universal algebra.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 59 , Issue 3 , September 1994 , pp. 912 - 923
Copyright
Copyright © Association for Symbolic Logic 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Andréka, H., Burmeister, P., and Németi, I., Quasirarieties of partial algebras—a unifying approach towards a two-valued model theory for partial algebras, Studia Scientarium Mathematicarum Hungarica, vol. 16 (1981), pp. 325–372.Google Scholar
[2]Andréka, H. and Németi, I., Does SP K ⊇ PS Kimply the axiom of choice?, Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), pp. 699–706.Google Scholar
[3]Andréka, H. and Németi, I., HSP K is equational class, without the axiom of choice, Algebra Universalis, vol. 13 (1981), pp. 164–166.CrossRefGoogle Scholar
[4]Felgner, U., Models of ZF-set theory, Lecture Notes in Mathematics, vol. 223, Springer-Verlag, New York, 1971.Google Scholar
[5]Friedman, H. M., Simpson, S. G., and Smith, R. L., Countable algebra and set existence axioms, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 141–181.Google Scholar
[6]Grätzer, G., A statement equivalent to the axiom of choice, Notices of the American Mathematical Society, vol. 12 (1965), p. 217 (Abstract).Google Scholar
[7]Grätzer, G., Universal algebra, second edition, Springer-Verlag, New York, 1979.CrossRefGoogle Scholar
[8]Grätzer, G., Birkhoff's representation theorem is equivalent to the axiom of choice, Algebra Universalis, vol. 23 (1986), pp. 58–60.CrossRefGoogle Scholar
[9]Henkin, L.. Monk, J. D., and Tarski, A., Cylindric algebras, Parts I, II, North-Holland, Amsterdam, 1971 and 1985.Google Scholar
[10]Jech, T., Set theory, Academic Press, New York, 1978.Google Scholar
[11]Simpson, S. G., Which set existence axioms are needed to prove the Cauchy/Peano theorem?, this Journal, vol. 49 (1984), pp. 783–802.Google Scholar