Abstract
Projective algebras were introduced by Everett and Ulam [4] as an algebraic formulation of the operations of projection and product on a two-dimensional algebra of relations. Although they were among the first structures to be investigated in the modern revival of the algebraic logic tradition, they have been somewhat overshadowed by their close kin, cylindric algebras and relation algebras. Chin and Tarski [2] showed that they can be viewed as two-dimensional cylindric algebras with special properties. Nevertheless, projective algebras are attractive as a natural axiomatic version of projection and product, and have a charm of their own. Ulam and Bednarek’s report of 1977 [11] has some interesting suggestions on the use of these algebras in the theory of parallel computation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bednarek, A.R., Ulam, S.M.: Generators for algebras of relations. Bulletin of the American Mathematical Society 82, 781–782 (1976)
Chin, L.H., Tarski, A.: Remarks on projective algebras. Bulletin of the American Mathematical Society, 80–81 (1948) (abstract)
Erdős, P., Faber, V., Larson, J.: Sets of natural numbers of positive density and cylindric set algebras of dimension 2. Algebra Universalis, 81–92 (1981)
Everett, C.J., Ulam, S.: Projective algebra I. American Journal of Mathematics 68, 77–88 (1946)
Halmos, P.R.: Lectures on Boolean Algebras. Van Nostrand Mathematical Studies, vol. 1. Van Nostrand, Princeton (1963)
Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras Part I. Studies in Logic and Foundations of Mathematics, vol. 64. North-Holland, Amsterdam (1971)
Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras Part II. Studies in Logic and Foundations of Mathematics, vol. 115. North-Holland, Amsterdam (1985)
Larson, J.A.: The number of one-generated diagonal-free cylindric set algebras of finite dimension greater than two. Algebra Universalis 16, 1–16 (1983)
Larson, J.A.: The number of one-generated cylindric set algebras of dimension greater than two. Journal of Symbolic Logic 50, 59–71 (1985)
McKinsey, J.C.C.: On the representation of projective algebras. American Journal of Mathematics 70, 375–384 (1947)
Ulam, S.M., Bednarek, A.R.: On the theory of relational structures and schemata for parallel computation. In: Analogies between Analogies: The mathematical reports of S.M. Ulam and his Los Alamos collaborators, pp. 477–508. University of California Press (1990); Los Alamos Report LA-6734-MS (May 1977)
Ulam, S.: A Collection of Mathematical Problems. John Wiley and Sons, Chichester (1960); paperback reprint 1964 Wiley Science Editions (with an added preface) entitled Problems in Modern Mathematics
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Urquhart, A. (2006). Duality Theory for Projective Algebras. In: MacCaull, W., Winter, M., Düntsch, I. (eds) Relational Methods in Computer Science. RelMiCS 2005. Lecture Notes in Computer Science, vol 3929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11734673_3
Download citation
DOI: https://doi.org/10.1007/11734673_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33339-5
Online ISBN: 978-3-540-33340-1
eBook Packages: Computer ScienceComputer Science (R0)