Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-13T11:28:29.982Z Has data issue: false hasContentIssue false
  • English
  • Français

The contributions of Alfred Tarski to general algebra

Published online by Cambridge University Press:  12 March 2014

Bjarni Jónsson
Bjarni Jónsson*
Affiliation:
Department of Mathematics, Vanderbilt University, Nashville, Tennessee 37235
Get access Rights & Permissions [Opens in a new window]

Extract

A distinctive feature of modern mathematics is the interaction between its various branches and the blurring of the boundaries between different areas. This is strikingly illustrated in the work of Alfred Tarski. He was a logician first and an algebraist second. His contributions to algebra can be divided into three (ill-defined and overlapping) categories, general algebra, the study of various algebraic structures arising from problems outside algebra, mostly in logic and set theory, and the use of concepts and techniques from logic in the study of algebraic structures. Even more roughly, these three categories could be labeled as pure algebra, applications of algebra to logic, and applications of logic to algebra.

Before Tarski came to the United States in 1939, he had written a series of papers on both the axiomatic and the structural aspects of Boolean algebras, and his inclination to algebraize mathematical problems is well illustrated by his paper [38g], Algebraische Fassung des Massproblems. Many of his later investigations of various types of algebraic structures are inspired by work done in this earlier period. However, beginning around 1940 there is a much greater emphasis on the study of algebra in its various aspects.

The paper [41], On the calculus of relations, is a landmark event in this respect. The object here was to find an axiomatic basis for the arithmetic of binary relations. The axioms that he chose are simple and natural (see Monk [1986]).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 51 , Issue 4 , December 1986 , pp. 883 - 889
Copyright
Copyright © Association for Symbolic Logic 1986

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

Birkhoff, G. [1935] On the structure of abstract algebras, Proceedings of the Cambridge Philosophical Society, vol. 31, pp. 433–454.CrossRefGoogle Scholar
Birkhoff, G. [1944] Subdirect unions in universal algebra, Bulletin of the American Mathematical Society, vol. 50, pp. 764–768.CrossRefGoogle Scholar
Birkhoff, G. [1948] Lattice theory, 2nd rev. ed., American Mathematical Society, Providence, Rhode Island.Google Scholar
Chang, C. C. and Morel, A. C. [1958] On closure under direct product, this Journal, vol. 23, pp. 149–154.Google Scholar
Frayne, T. E., Morel, A. C. and Scott, D. S. [1962] Reduced direct products, Fundamenta Mathematicae, vol. 51, pp. 195–228.CrossRefGoogle Scholar
Hashimoto, J. [1951] On direct product decomposition of partially ordered sets, Annals of Mathematics, ser. 2, vol. 54, pp. 315–318.CrossRefGoogle Scholar
Hashimoto, J. and Nakayama, T. [1950] On a problem of G. Birkhoff, Proceedings of the American Mathematical Society, vol. 1, pp. 141–142.Google Scholar
Jónsson, B. [1966] The unique factorization property for finite relational structures, Colloquium Mathematicum, vol. 14, pp. 1–32.CrossRefGoogle Scholar
Keisler, H. J. [1961] Ultraproducts and elementary classes, Indagationes Matehematicae, vol. 23, pp. 477–495.CrossRefGoogle Scholar
Łoś, J. [1955] Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres, Mathematical interpretation of formal systems, North-Holland, Amsterdam, pp. 98–113.CrossRefGoogle Scholar
Lovász, L. [1967] Operations with structures, Acta Mathematica Academiae Scientiarum Hungaricae, vol. 18, pp. 321–328.CrossRefGoogle Scholar
Lyndon, R. C. [1950] The representation of relation algebras, Annals of Mathematics, ser. 2, vol. 51, pp. 707–729.CrossRefGoogle Scholar
Lyndon, R. C. [1956] The representation of relation algebras. II, Annals of Mathematics, ser. 2, vol. 63, pp. 294–307.CrossRefGoogle Scholar
McKenzie, R. N. [1971] Cardinal multiplication of structures with a reflexive relation, Fundamenta Mathematicae, vol. 70, pp. 59–101.CrossRefGoogle Scholar
McKenzie, R. N. [1971a] Definability in lattices of equational theories, Annals of Mathematical Logic, vol. 3, pp. 197–237.CrossRefGoogle Scholar
McKenzie, R. N. [1972] A method for obtaining refinement theorems, with an application to direct products of semigroups, Algebra Universalis, vol. 2, pp. 324–338.CrossRefGoogle Scholar
McNulty, G. [1972] The decision problem for equational bases of algebras, Ph.D. Thesis, University of California, Berkeley, California.Google Scholar
Monk, J. D. [1964] On representable relation algebras, Michigan Mathematical Journal, vol. 11, pp. 207–210.CrossRefGoogle Scholar
Monk, J. D. [1986] The contributions of Alfred Tarski to algebraic logic, this Journal, vol. 51, pp. 899–906.Google Scholar
Ore, O. [1936] On the foundation of abstract algebra. II, Annals of Mathematics, ser. 2, vol. 37, pp. 265–292.CrossRefGoogle Scholar
Schröder, E. [1895] Vorlesungen über die algebra der Logik (exakte Logik). Vol. 3: Algebra und Logik der Relative, Teubner, Leipzig.Google Scholar
Shelah, S. [1971] Every two elementarily equivalent models have isomorphic ultrapowers, Israel Journal of Mathematics, vol. 10, pp. 224–233.CrossRefGoogle Scholar
Vaught, R. L. [1974] Model theory before 1945, Proceedings of the Tarski symposium, Proceedings of Symposia in Pure Mathematics, vol. 25, American Mathematical Society, Providence, Rhode Island, pp. 153–172.CrossRefGoogle Scholar
Vaught, R. L. [1986] Alfred Tarski's work in model theory, this Journal, vol. 51, pp. 869–882.Google Scholar
Woodger, J. H. [1974] Thank you, Alfred!, Proceedings of the Tarski symposium, Proceedings of Symposia in Pure Mathematics, vol. 25, American Mathematical Society, Providence, Rhode Island, pp. 481–482.CrossRefGoogle Scholar