Skip to main content
SpringerLink
Log in
Book cover

Sheaves of Algebras over Boolean Spaces pp 179–219Cite as

Birkhäuser

Shells

  • Chapter
  • First Online:

  • 911 Accesses

Abstract

In the spirit of Peacock’s first assertion, we are now ready to specify some operations and identities in our algebras. But their choice is left mostly to the reader, contrary to Peacock’s last assertion.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    In a letter sent to the author in 1994, using a criterion in [Will90].

  2. 2.

    Elsewhere unities are called ‘unit elements’.

  3. 3.

    Vaggione generalizes shells by replacing the nullity and unity by sequences of unary operations [Vagg96]. For the passage between his shells and those of the author, see [Knoe00].

  4. 4.

    A tolerance is a reflexive, symmetric relation that preserves the operations.

References

  1. ABIAN, Alexander. Boolean Rings. Branden Press, Boston, MA, 1976.

    Google Scholar 

  2. ADÁMEK, Jiří, KOUBEK, Václav and TRNKOVÁ, Věra. Sums of spaces represent every group. Pacific J. Math. { 61} (1975), pp. 1–6.

    Google Scholar 

  3. ARENS, Richard F. and KAPLANSKY, Irving. Topological representation of algebras. Trans. Amer. Math. Soc. { 63} (1948), pp. 457–481.

    Google Scholar 

  4. ASH, Christopher J. Reduced powers and Boolean extensions. J. London Math. Soc. (2) { 9} (1974/75), pp. 429–432.

    Google Scholar 

  5. ASTIER, Vincent. Elementary equivalence of some rings of definable functions. Arch. Math. Logic { 47} (2008), pp. 327–340.

    Google Scholar 

  6. AULL, Charles E., ed. Rings of Continuous Functions. Proceedings of the special session held in Cincinnati, Ohio, 1982. Lecture Notes in Pure and Applied Math., { 95}. Dekker, New York, 1985.

    Google Scholar 

  7. BAER, Reinhold. Linear Algebra and Projective Geometry. Academic, New York, 1952.

    Google Scholar 

  8. BALBES, Raymond and HORN, Alfred. Stone lattices. Duke Math. J. { 37} (1970), pp. 537–545.

    Google Scholar 

  9. BANASCHEWSKI, Bernhard & NELSON, Evelyn. Boolean Powers as Algebras of Continuous Functions. Dissertationes Math. (Rozprawy Mat.) { 179} (1980), 51 pp.

    Google Scholar 

  10. BERGMAN, George M. Boolean rings of projection maps. J. London Math. Soc. (2), { 4} (1972), pp. 593–598.

    Google Scholar 

  11. BERGMAN, George M. The Zariski topology and its generalizations. Proceedings of the International Symposium on Topology and its Applications (Budva, 1972), pp. 32-39. Savez Drutava Mat. Fiz. i Astronom., Belgrade, 1973.

    Google Scholar 

  12. BERGMAN, George M. Actions of Boolean rings on sets. Algebra Universalis { 28} (1991), pp. 153–187.

    Google Scholar 

  13. BERGMAN, George M. An Invitation to General Algebra and Universal Constructions. Henry Helson, Berkeley, 1998.

    Google Scholar 

  14. BIGELOW, David and BURRIS, Stanley. Boolean algebras of factor congruences. Acta Sci. Math. (Szeged) { 54} (1990), pp. 11–20.

    Google Scholar 

  15. BIRKHOFF, Garrett. On the structure of abstract algebras. Proc. Cambridge Philos. Soc. { 31} (1935), pp. 117–138.

    Google Scholar 

  16. BIRKHOFF, Garrett. Subdirect unions in universal algebras. Bull. Amer. Math. Soc. { 50} (1944), pp. 764–768.

    Google Scholar 

  17. BIRKHOFF, Garrett. Von Neumann and lattice theory. Bull. Amer. Math. Soc. { 64} (1958), pp. 50–56.

    Google Scholar 

  18. BIRKHOFF, Garrett. Lattice Theory, 3rd ed. Amer. Math. Soc. Colloquium Pub. { 25}, 1967.

    Google Scholar 

  19. BLOOM, Stephen, ÉSIK, Zoltán and MANES, Ernest. A Cayley Theorem for Boolean Algebras. Amer. Math. Monthly { 97} (1990), pp. 831–833.

    Google Scholar 

  20. BLOUNT, Kevin and TSINAKIS, Constantine. The structure of residuated lattices. Internat. J. Algebra Comput. { 13} (2003), pp. 437–461.

    Google Scholar 

  21. BOOLE, George. The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. Macmillan, Barclay and Macmillan, 1847. Reprinted by Philosophical Library, New York, NY, 1948.

    Google Scholar 

  22. BOOLE, George. An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities. MacMillan, 1854. Reprinted by Dover, New York, 1957.

    Google Scholar 

  23. BORCEUX, Francis. Handbook of Categorical Algebra. { 3}. Categories of Sheaves. Encyclopedia of Mathematics and its Applications, { 52}. Cambridge University Press, Cambridge, UK, 1994.

    Google Scholar 

  24. BORCEUX, Francis and VAN DEN BOSSCHE, Gilberte. A generic sheaf representation for rings. Category theory (Como, 1990), pp. 30–42, Lecture Notes in Math. { 1488}. Springer, Berlin, 1991.

    Google Scholar 

  25. BOREL, Armand. Cohomologie des espaces localement compacts d’après J. Leray. Lecture Notes in Mathematics { 2}. Springer, Berlin, 1964.

    Google Scholar 

  26. BREDON, Glen E. Sheaf Theory, 2nd ed. Springer, Berlin, 1997.

    Google Scholar 

  27. BRUCK, E. Hubert. A Survey of Binary Systems. Springer, Berlin, 1958.

    Google Scholar 

  28. BULMAN-FLEMING, Sydney and WERNER, Heinrich. Equational compactness in quasiprimal varieties. Algebra Universalis { 7} (1977), pp. 33–46.

    Google Scholar 

  29. BURGESS, Walter D. and STEPHENSON, William. An analogue of the Pierce sheaf for non-commutative rings. Comm. Algebra { 6} (1978), pp. 863–886.

    Google Scholar 

  30. BURRIS, Stanley. Boolean powers. Algebra Universalis { 5} (1975), pp. 341–360.

    Google Scholar 

  31. BURRIS, Stanley. Remarks on the Fraser-Horn property. Algebra Universalis { 23} (1986), pp. 19–21.

    Google Scholar 

  32. BURRIS, Stanley. The Algebra of Boole. ms (2000), 9 pp.

    Google Scholar 

  33. BURRIS, Stanley and MCKENZIE, Ralph. Decidability and Boolean Representations. Memoirs Amer. Math. Soc. { 32} (1981), no. 246.

    Google Scholar 

  34. BURRIS, Stanley and SANKAPPANAVAR, Hanamantagouda. A Course in Universal Algebra. Springer, Berlin, 1981. Internet: http://www.math.uwaterloo.ca/\~snburris/htdocs/ualg.html 1981.

  35. BURRIS, Stanley and WERNER, Heinrich. Sheaf constructions and their elementary properties. Trans. Amer. Math. Soc. { 248} (1979), pp. 269–309.

    Google Scholar 

  36. CARSON, Andrew B. The model completion of the theory of commutative regular rings. J. Algebra { 27} (1973), pp. 136–146.

    Google Scholar 

  37. CARSON, Andrew B. Model completions, ring representations and the topology of the Pierce sheaf. Pitman Research Notes in Mathematics Series, 209. Longman Scientific & Technical, Harlow, 1989.

    Google Scholar 

  38. CARTAN, Henri. Théorie des faisceaux. Séminaire Cartan (Topologie Algébrique), Ire année (1948–1949), exposés { 12}–{ 17} (1949).

    Google Scholar 

  39. CAYLEY, Arthur. On the theory of groups, as depending on the symbolic equation θn = 1. Philosophical Magazine { 7} (1854), pp. 40–47.

    Google Scholar 

  40. CHAJDA, Ivan. Congruences permutable with factor and decomposing congruences. General Algebra and Ordered Sets (Horní Lipová, 1994), pp. 10–18, Palacký Univ. Olomouc, Olomouc, 199?.

    Google Scholar 

  41. CHAJDA, Ivan, EIGENTHALER, Günther and LÄNGER, Helmut. Congruence Classes in Universal Algebra. Research and Exposition in Mathematics, { 26}. Heldermann Verlag, Lemgo, Germany, 2003.

    Google Scholar 

  42. CHANG, Chen-Chung. Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. { 88} (1958), pp. 467–490.

    Google Scholar 

  43. CHANG, Chen-Chung, JÓNSSON, Bjarni and TARSKI, Alfred. Refinement properties for relational structures. Fund. Math. { 55} (1964), pp. 249–281.

    Google Scholar 

  44. CHEN, Chuan-Chong. On the unique factorization of algebras. Nanta Math. { 10} (1977), pp. 149–157.

    Google Scholar 

  45. CHINBURG, Ted and HENRIKSEN, Melvin. Multiplicatively periodic rings. Amer. Math. Monthly { 83} (1976), pp. 547–549.

    Google Scholar 

  46. CIGNOLI, Roberto. The lattice of global sections of chains over Boolean spaces. Algebra Universalis { 8} (1978), pp. 357–373.

    Google Scholar 

  47. CIGNOLI, Roberto and TORRENS TORRELL, Antoni. Boolean products of MV-algebras: hypernormal MV-algebras. J. Math. Anal. Appl. { 199} (1996), pp. 637–653.

    Google Scholar 

  48. CLARK, David M. and DAVEY, Brian A. Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge, UK, 1998.

    Google Scholar 

  49. COHN, Paul M. Algebra, vol. 2. Wiley, New York, 1977.

    Google Scholar 

  50. COHN, Paul M. Universal Algebra, 2nd ed. D. Reidel, Boston, MA, 1981.

    Google Scholar 

  51. COMER, Stephen D. Representations by algebras of sections over Boolean spaces. Pacific J. Math. { 38} (1971), pp. 29–38.

    Google Scholar 

  52. COMER, Stephen D. A sheaf-theoretic duality theory for cylindric algebras. Trans. Amer. Math. Soc. { 169} (1972), pp. 75–87.

    Google Scholar 

  53. COMER, Stephen D. Elementary properties of structures of sections. Bol. Soc. Mat. Mexicana (2) { 19} (1974), pp. 78–85.

    Google Scholar 

  54. CONTESSA, Maria. A note on Baer rings. J. Algebra { 118} (1988), pp. 20–32.

    Google Scholar 

  55. CORNISH, William H. The Chinese remainder theorem and sheaf representations. Fund. Math. { 46} (1977), pp. 177–187.

    Google Scholar 

  56. CORNISH, William H. O-ideals, congruences, and sheaf representations of distributive lattices. Rev. Roumaine Math. Pures Appl. { 22} (1977), pp. 1059–1067.

    Google Scholar 

  57. CROWN, Gary D., HARDING, John and JANOWITZ, Melvin F. Boolean products of lattices. Order { 13} (1996), pp. 175–205.

    Google Scholar 

  58. DAUNS, John and HOFMANN, Karl Heinrich. The representation of biregular rings by sheaves. Math. Z. { 91} (1966), pp. 103–123.

    Google Scholar 

  59. DAVEY, Brian A. Sheaf spaces and sheaves of universal algebras. Math. Z. { 134} (1973), pp. 275–290.

    Google Scholar 

  60. DAVEY, Brian A. and PRIESTLEY, H. A. Introduction to lattices and order, 2nd ed. Cambridge University Press, Cambridge, UK, 2002.

    Google Scholar 

  61. DEDEKIND, Richard. Über Zerlegungen von Zahlen durch ihre grössten gemeinsamen Teiler. Festschrift Techn. Hochschule Braunschweig bei Gelegenheit der 69. Versammlung Deutscher Naturforscher und Arzte, pp.  1–40. 1897. Also in Gesammelte mathematische Werke { 2}, pp. 103–148. Vieweg, Braunschweig, 1931.

    Google Scholar 

  62. DE MORGAN, Augustus. Formal Logic. Taylor and Walton, London, 1847.

    Google Scholar 

  63. DENECKE, Klaus-Dieter. Algebraische Fragen Nichtklassicher Aussagenkalküle. Doctoral dissertation, Pädagogischen Hochschule ‘Karl Liebknecht’, Potsdam, 1978.

    Google Scholar 

  64. DENECKE, Klaus-Dieter. Preprimal Algebras. Mathematical Research, { 11}. Akademie-Verlag, Berlin, 1982.

    Google Scholar 

  65. DENECKE, Klaus-Dieter and LÜDERS, Otfried. Category equivalences of clones. Algebra Universalis. { 34} (1995), pp. 608–618.

    Google Scholar 

  66. DIERS, Yves. Categories of Boolean Sheaves of Simple Algebras. Springer, Berlin, 1986.

    Google Scholar 

  67. DI NOLA, Antonio, ESPOSITO, I. and GERLA, Brunella. Local algebras in the representation of MV-algebras. Algebra Universalis { 56} (2007), pp. 133–164.

    Google Scholar 

  68. DI NOLA, Antonio and LEUŞTEAN, Laurenţiu. Compact representations of BL-algebras. Arch. Math. Logic { 4} (2003), pp. 737–761.

    Google Scholar 

  69. EILENBERG, Samuel and MACLANE, Saunders. General theory of natural equivalences. Transactions Amer. Math. Soc. { 58} (1945), pp. 231–294.

    Google Scholar 

  70. FEARNLEY-SANDER, Desmond. Hermann Grassmann and the prehistory of universal algebra. Amer. Math. Monthly { 89} (1982), pp. 161–166.

    Google Scholar 

  71. FEFERMAN, Solomon and VAUGHT, Robert L. The first order properties of products of algebraic systems. Fund. Math. { 47} (1959), pp. 57–103.

    Google Scholar 

  72. FILIPOIU, Alexandru and GEORGESCU, George. Compact and Pierce representations of MV-algebras. Rev. Roumaine Math. Pures Appl. { 40} (1995), pp. 599–618.

    Google Scholar 

  73. FORSYTHE, Alexandra and McCOY, Neal H. On the commutativity of certain rings. Bull. Amer. Math. Soc. { 52} (1946), pp. 523–526.

    Google Scholar 

  74. FOSTER, Alfred L. p-rings and their Boolean-vector representation. Acta Math. { 84} (1951), pp. 231–261.

    Google Scholar 

  75. FOSTER, Alfred L. Generalized “Boolean” theory of universal algebras. Part I. Subdirect sums and normal representation theorem. Math. Z. { 58} (1953), pp. 306–336.

    Google Scholar 

  76. FOSTER, Alfred L. Generalized “Boolean” theory of universal algebras. Part II. Identities and subdirect sums in functionally complete algebras. Math. Z. { 59} (1953), pp. 191–199.

    Google Scholar 

  77. FOSTER, Alfred L. Congruence relations and functional completeness in universal algebras; structure theory of hemi-primals, I. Math. Z. { 113} (1970), pp. 293–208.

    Google Scholar 

  78. FOSTER, Alfred L. and PIXLEY, Alden. Semi-categorical algebras. I. Semi-primal algebras. Math. Z. { 83} (1964), pp. 147–169.

    Google Scholar 

  79. FOURMAN, Michael P. and SCOTT, Dana. S. Sheaves and logic. Applications of sheaves, Lecture Notes in Math., { 753}, pp. 302–401, Springer, Berlin, 1979.

    Google Scholar 

  80. FRASER, Grant A. and HORN, Alfred. Congruence relations in direct products. Proc. Amer. Math. Soc. { 26} (1970), pp. 390–394.

    Google Scholar 

  81. FREESE, Ralph and McKENZIE, Ralph. Commutator Theory for Congruence Modular Varieties. Cambridge University Press, Cambridge, UK, 1987.

    Google Scholar 

  82. FRINK, Orrin. Pseudocomplements in semi-lattices. Duke Math. J. { 29} (1962), pp. 505–514.

    Google Scholar 

  83. GABRIEL, Pierre. Des categories abéliennes. Bull. Soc. Math. de France { 90} (1962), pp. 323–448.

    Google Scholar 

  84. GALATOS, Nikolaos and TSINAKIS, Constantine. Generalized MV-algebras. J. Algebra { 283} (2005), pp. 254–291.

    Google Scholar 

  85. GEHRKE, Mai and JÓNSSON, Bjarni. Bounded distributive lattice expansions. Math. Scand. { 94} (2004), pp. 13–45.

    Google Scholar 

  86. GEL’FAND, Israel M. Normierte Ringe. Mat. Sb. { 9} (51) (1941), pp. 3–24.

    Google Scholar 

  87. GEL’FAND, Israel M. and ŠILOV, George E. Über verschiedene Methoden der Einführung der Topologie in die Menge der maximalen Ideale eines normierten Ringes. Rec. Math. [Mat. Sbornik] N. S. { 9} ({ 51}) (1941), pp. 25–39.

    Google Scholar 

  88. GEORGESCU, George. Some sheaf constructions for distributive lattices. Bull. Math. Soc. Sci. Math. R. S. Roumanie (N.S.) { 32}({ 80}) (1988), pp. 299–303.

    Google Scholar 

  89. GEORGESCU, George. Pierce representations of distributive lattices. Kobe J. Math. { 10} (1993), pp. 1–11.

    Google Scholar 

  90. GIBBS, J. Williard. Elements of Vector Analysis. (privately printed) New Haven, 1881.

    Google Scholar 

  91. GIERZ, Gerhard. Morita equivalence of quasi-primal algebras and sheaves. Algebra Universalis { 35} (1996), pp. 570–576.

    Google Scholar 

  92. GILLMAN, Leonard. Rings of continuous functions are rings: a survey. Rings of continuous functions (Cincinnati, Ohio, 1982), pp. 143–147, Lecture Notes in Pure and Appl. Math., { 95}, Dekker, New York, 1985.

    Google Scholar 

  93. GŁAZEK, Kazimierz. A Short Guide through the Literature on Semirings. Math. Institute, Univ. Wrocław, preprint no. 39, 1985.

    Google Scholar 

  94. GODEMENT, Roger. Topologie Algébrique et Theorie des Faisceaux, Publ. Inst. Math. Univ. Strasbourg, no. 13, Hermann, 1958 (3{ rd} ed. 1973).

    Google Scholar 

  95. GOOD, Richard A. On the theory of clusters. Trans. Amer. Math. Soc. { 63} (1948), pp. 482–513.

    Google Scholar 

  96. GOODEARL, Kenneth R. Von Neumann Regular Rings. Pitman, Boston, MA, 1979.

    Google Scholar 

  97. GOULD, Matthew I. and GRÄTZER, George. Boolean Extensions and Normal Subdirect Powers of Finite Universal Algebras. Math. Z. { 99} (1967), pp. 16–25.

    Google Scholar 

  98. GRAMAGLIA, Hector and VAGGIONE, Diego J. Birkhoff-like sheaf representation for varieties of lattice expansions. Studia Logica { 56} (1996), pp. 111–131.

    Google Scholar 

  99. GRAMAGLIA, Hector and VAGGIONE, Diego J. (Finitely) subdirectly irreducibles and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures. Algebra Universalis { 38} (1997), pp. 56–91.

    Google Scholar 

  100. GRASSMANN, Herman Die lineale Ausdehnungslehre, ein neuer Zweig der Mathematik. Otto Wigand, Leipzig, 1844.

    Google Scholar 

  101. GRÄTZER, George Stone algebras form an equational class. Remarks on lattice theory. III. J. Austral. Math. Soc. { 9} (1969), pp. 308–309.

    Google Scholar 

  102. GRÄTZER, George. General Lattice Theory, 2nd ed. Birkhäuser, Basel, 1998.

    Google Scholar 

  103. GRÄTZER, George Universal Algebra, 2nd ed. Springer, Berlin, 1979.

    Google Scholar 

  104. GRÄTZER, George and SCHMIDT, Elégius T. On a problem of M. H. Stone. Acta Math. Acad. Sci. Hungar. { 8} (1957), pp. 455–460.

    Google Scholar 

  105. GRÄTZER, George and SCHMIDT, Elégius T. Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) { 24} (1963), pp. 34–59.

    Google Scholar 

  106. GRAY, John W. Fragments of the history of sheaf theory. Applications of Sheaves, eds. M. P. Fourman, C. J. Mulvey, D. S. Scott, pp. 1–79. Lecture Notes in Mathematics { 753}, Springer-Verlag, Berlin, 1979.

    Google Scholar 

  107. GROTHENDIECK, Alexander and DIEUDONNÉ, Jean A. Eléments de Géométrie Algébrique, tome I: le language des schémas. Inst. Hautes Études Sci. Publ. Math., no. 4, Paris, 1960. (2nd ed., 1971, Springer, Berlin).

    Google Scholar 

  108. GUMM, Peter and URSINI, Aldo. Ideals in universal algebras. Algebra Universalis { 19} (1984), pp. 45–54.

    Google Scholar 

  109. HALMOS, Paul R. Lectures on Boolean Algebras. Van Nostrand, Princeton, 1963.

    Google Scholar 

  110. HAMILTON, William R. On a new species of imaginary quantities connected with the theory of quaternions. Proceedings of the Royal Irish Academy { 2} (1844), pp. 424–434.

    Google Scholar 

  111. HANF, William. On some fundamental problems concerning isomorphism of Boolean algebras. Math. Scand. { 5} (1957), pp. 205–217.

    Google Scholar 

  112. HEAVISIDE, Oliver. Electromagnetic Theory { 1}. Electrician Printing, London, 1893. Also reprinted by Dover, New York, 1950. pp. 132–305.

    Google Scholar 

  113. HENKIN, Leon, MONK, J. Donald and TARSKI, Alfred. Cylindric Algebras, vol. 1. North-Holland, Amsterdam, 1971.

    Google Scholar 

  114. HENRIKSEN, Melvin and JERISON, Meyer. The space of minimal prime ideals of a commutative ring. Trans. Amer. Math. Soc. { 115} (1965), pp. 110–130.

    Google Scholar 

  115. HERRLICH, Horst and STRECKER, George E. Category Theory: an Introduction. Heldermann, Berlin, 1979.

    Google Scholar 

  116. HILBERT, David. Über die Theorie der algebraischen Invarianten. Proceedings Math. Congress Chicago, pp. 116–124. MacMillan, New York, 1896.

    Google Scholar 

  117. HOBBY, David and McKENZIE, Ralph. The Structure of Finite Algebras. American Mathematical Society, Providence, RI, 1988.

    Google Scholar 

  118. HOCHSTER, Melvin. Prime ideal structure in commutative rings. Trans. Amer. Math. Soc. { 142} (1969), pp. 43–60.

    Google Scholar 

  119. HODGES, Wilfrid. A shorter model theory. Cambridge University Press, Cambridge, 1997.

    Google Scholar 

  120. HOFMANN, Karl Heinrich. Representation of algebras by continuous sections. Bull. Amer. Math. Soc. { 78} (1972), pp. 291–373. (And see next item.)

    Google Scholar 

  121. HOFMANN, Karl Heinrich. Some bibliographical remarks on “Representations of algebras by continuous sections” (Bull. Amer. Math. Soc. 78 (1972), 291–373). Mem. Amer. Math. Soc., No. 148, pp. 177–182. Amer. Math. Soc., Providence, RI, 1974.

    Google Scholar 

  122. HOUZEL, Christian. Histoire de la théorie des faisceaux. Matériaux pour l’histoire des mathématiques au XX e siècle (Nice, 1996). Sémin. Congr., 3, Soc. Math. France, Paris, pp. 101–119, 1998.

    Google Scholar 

  123. HU, Tah-Kai. Stone duality for primal algebra theory. Math. Z. { 110} (1969), pp. 180–198.

    Google Scholar 

  124. HUNGERFORD, Thomas W. Algebra. Holt, Rinehart and Winston, New York, 1974.

    Google Scholar 

  125. HUNTINGTON, Edward V. New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia Mathematics. Trans. Amer. Math. Soc. { 35} (1933), pp. 274–304, 557–558, 971.

    Google Scholar 

  126. IDZIAK, Paweł M. Sheaves in universal algebra and model theory. Rep. Math. Logic no. 23 (1989), Part I, pp. 39–65; no. 24 (1990), Part II, pp. 61–86.

    Google Scholar 

  127. IDZIAK, Paweł M. Decidability and structure. Logic, Algebra, and Computer Science (Warsaw, 1996), pp. 125–135. Banach Center Publ., { 46} (1999), Polish Acad. Sci.

    Google Scholar 

  128. ISKANDER, Awad A. Factorable congruences and strict refinement. Acta Math. Univ. Comenianae { 65} (1996), pp. 101–109.

    Google Scholar 

  129. JACOBSON, Nathan. A topology for the set of primitive ideals in an arbitrary ring. Proc. Nat. Acad Sci. { 31} (1945), pp. 333–338.

    Google Scholar 

  130. JACOBSON, Nathan. Basic Algebra W. H. Freeman, San Francisco, 1980.

    Google Scholar 

  131. JERISON, Meyer. Prime ideals in function rings. Rings of Continuous Functions (Cincinnati, Ohio, 1982), pp. 203–206. Lecture Notes in Pure and Appl. Math., { 95}, Dekker, New York, 1985.

    Google Scholar 

  132. JIPSEN, Peter and MONTAGNA, Franco. On the structure of generalized BL-algebras. Algebra Universalis { 55} (2006), pp. 227–238.

    Google Scholar 

  133. JIPSEN, Peter and TSINAKIS, Constantine. A survey of residuated lattices. Ordered algebraic structures (Gainesville, Florida, 2001), pp. 19–56. Developments in Mathematics, { 7}, Kluwer, Dordrecht, 2002.

    Google Scholar 

  134. JOHNSON, Michael and SUN, Shu Hao. Remarks on representations of universal algebras by sheaves of quotient algebras. Category theory 1991, pp. 299–307, CMS Conf. Proc., { 13}, Amer. Math. Soc., Providence, RI, 1992.

    Google Scholar 

  135. JOHNSTONE, Peter T. Stone Spaces. Cambridge University Press, Cambridge, UK, 1982.

    Google Scholar 

  136. JOHNSTONE, Peter T. The point of pointless topology. Bull. Amer. Math. Soc. (N. S.) { 8} (1983), pp. 41–53.

    Google Scholar 

  137. JÓNSSON, Bjarni and TARSKI, Alfred. Direct Decompositions of Finite Algebraic Systems. Notre Dame Mathematical Lectures No. 5, University of Notre Dame, Notre Dame, Ind., 1947.

    Google Scholar 

  138. KAPLANSKY, Irving. Rings of Operators. Benjamin, New York, 1968.

    Google Scholar 

  139. KATZ, Victor J. A History of Mathematics: An Introduction. Addison-Wesley, Reading, MA, 1998.

    Google Scholar 

  140. KEIMEL, Klaus. Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen. Math. Nach. { 45} (1970), pp. 81–96.

    Google Scholar 

  141. KEIMEL, Klaus. The representation of lattice-ordered groups and rings by sections in sheaves. Lectures on the applications of sheaves to ring theory. (Tulane Univ. Ring and Operator Theory Year, 1970-1971, Vol. III), pp. 1-98. Lecture Notes in Math., { 248}, Springer, Berlin, 1971.

    Google Scholar 

  142. KEIMEL, Klaus. Baer extensions of rings and Stone extensions of semigroups. Semigroup Forum { 2} (1971a), pp. 55–63.

    Google Scholar 

  143. KEIMEL, Klaus. Représentation des algèbres universelles par des faisceaux. Séminaire P. Dubreil (27e année: 1973/74), Algèbre, Fasc. 2, Exp. No. 12. Secrétariat Mathématique, Paris, 1974.

    Google Scholar 

  144. KEIMEL, Klaus and WERNER, Heinrich. Stone duality for varieties generated by quasi-primal algebras. Recent advances in the representation theory of rings and C ∗ -algebras by continuous sections (Sem., Tulane Univ., New Orleans, La., 1973), pp. 59-85. Mem. Amer. Math. Soc., No. 148, Amer. Math. Soc., Providence, RI, 1974.

    Google Scholar 

  145. KELLEY, John L. General Topology. Van Nostrand, Princeton, NJ, 1955.

    Google Scholar 

  146. KENNISON, John F. Integral domain type representations in sheaves and other topoi. Math. Z. { 151} (1976), pp. 35–36.

    Google Scholar 

  147. KENNISON, John F. Triples and compact sheaf representation. J. Pure Appl. Algebra { 20} (1981), pp. 13–38.

    Google Scholar 

  148. KIST, Joseph. Minimal prime ideals in commutative semigroups. Proc. London Math. Soc. (3) { 13} (1963), pp. 31–50.

    Google Scholar 

  149. KIST, Joseph. Compact spaces of minimal prime ideals. Math. Z. { 111} (1969), pp. 151–158.

    Google Scholar 

  150. KIST, Joseph. Representing Rings by Sections: Complexes. Unpublished manuscript, 1969.

    Google Scholar 

  151. KNOEBEL, Arthur. Sheaves of algebras over Boolean spaces. Notices Amer. Math. Soc. { 19} (1972), p. A-690.

    Google Scholar 

  152. KNOEBEL, Arthur. Products of independent algebras with finitely generated identities. Algebra Universalis { 3} (1973), pp. 147–151.

    Google Scholar 

  153. KNOEBEL, Arthur. Representation theorems for varieties generated by single functionally precomplete algebras. Notices Amer. Math. Soc. { 23} (1976), p. A-514.

    Google Scholar 

  154. KNOEBEL, Arthur. A new proof for the product decomposition of Newman algebras. Algebra Universalis { 14} (1982), pp. 135–139.

    Google Scholar 

  155. KNOEBEL, Arthur. Free algebras—are they categorically definable? Quaestiones Math. { 6} (1983), no. 4, pp. 333–341.

    Google Scholar 

  156. KNOEBEL, Arthur. The Equational Classes Generated by Single Functionally Precomplete Algebras. Memoir Amer. Math. Soc. { 57}, no. 332, 1985.

    Google Scholar 

  157. KNOEBEL, Arthur. Sheaves of shells with loop addition. Abstracts Amer. Math. Soc. { 12} (1991), p. 194.

    Google Scholar 

  158. KNOEBEL, Arthur. The iteration of sheaves over Boolean spaces. Abstracts Amer. Math. Soc. { 12} (1991), p. 282.

    Google Scholar 

  159. KNOEBEL, Arthur. A sheaf constructed over a Boolean space for each general algebra. Abstracts Amer. Math. Soc. { 13} (1992), p. 288.

    Google Scholar 

  160. KNOEBEL, Arthur. The categories of algebras, complexes and sheaves. Abstracts Amer. Math. Soc. { 13} (1992), pp. 503–504.

    Google Scholar 

  161. KNOEBEL, Arthur. The equivalence of some categories of algebras and sheaves. Abstracts Amer. Math. Soc. { 13} (1992), p. 528.

    Google Scholar 

  162. KNOEBEL, Arthur. The shells of Vaggione: some comments and questions. Algebra Universalis { 44} (2000), pp. 27–38.

    Google Scholar 

  163. KNOEBEL, Arthur. Separator algebras. Atlas Mathematical Conference Abstracts, at.yorku.ca/amca. International Conference on Modern Algebra, Nashville, Tennessee, 2002.

    Google Scholar 

  164. KNOEBEL, Arthur. Sheaf representations of preprimal algebras. Abstracts Amer. Math. Soc. { 24} (2003), p. 238.

    Google Scholar 

  165. KNOEBEL, Arthur. Sesquimorphisms. Abstracts Amer. Math. Soc. (2007), #07T-08-20.

    Google Scholar 

  166. KNOEBEL, Arthur. Shells. Abstracts Amer. Math. Soc. (2007), #1032-08-178.

    Google Scholar 

  167. KOPPERMAN, Ralph. All topologies come from generalized metrics. Amer. Math. Monthly { 95} (1988), pp. 89–97.

    Google Scholar 

  168. KÖTHE, Gottfried. Abstrakte Theorie nichtkommutativer Ringe mit einer Anwendung auf die Darstellungstheorie kontinuierlicher Gruppen. Math. Ann. { 103} (1930), pp. 545–572.

    Google Scholar 

  169. KRAUSS, Peter H. and CLARK, David M. Global subdirect products. Memoirs Amer. Math. Soc. { 17}, #210 (1979).

    Google Scholar 

  170. KRULL, Wolfgang. Idealtheorie in Ringen ohne Endlichkeitsbedingung. Math. Ann. { 101} (1929), pp. 729–744.

    Google Scholar 

  171. KRULL, Wolfgang. Idealtheorie. Ergeb. Math. Grenzgeb. { 4}. Springer, Berlin, 1935.

    Google Scholar 

  172. KRUSE, Arthur. Localization and Iteration of Axiomatic Set Theory. Wayne State University Press, Detroit, 1969.

    Google Scholar 

  173. KUROSH, A. G. Lectures on General Algebra. Chelsea, New York, 1963.

    Google Scholar 

  174. LAMBEK, Joachim and RATTRAY, Basil A. Functional completeness and Stone duality. Studies in Foundations and Combinatorics pp. 1-9, Adv. in Math. Suppl. Stud., { 1}, Academic, New York, 1978.

    Google Scholar 

  175. LAMBEK, Joachim and RATTRAY, Basil A. A general Stone-Gelfand duality. Trans. Amer. Math. Soc. { 248} (1979), pp. 1–35.

    Google Scholar 

  176. LEDBETTER, Carl Scotius, Jr. Sheaf Representations and First Order Conditions. Ph. D. Dissertation, Clark University, Worcester, MA, University of Michigan Press, 1977.

    Google Scholar 

  177. LEIBNIZ, Gottfried Wilhelm von. Dissertatio de Arte Combinatoria. Lipsiae, Apud J. S. Fickium et J. P. Seuboldum 1966.

    Google Scholar 

  178. LERAY, Jean. L’anneau spectral et l’anneau filtre d’homologie d’un espace localement compact et d’une application continue. J. Math. Pures Appl. { 29} (1950), pp. 1–80, 81–139.

    Google Scholar 

  179. MacHALE, Desmond. George Boole: His Life and Work. Boole Press, Dublin, 1985.

    Google Scholar 

  180. MACINTYRE, Angus. Model-completeness for sheaves of structures. Fund. Math. { 81} (1973/74), pp. 73–89.

    Google Scholar 

  181. MACINTYRE, Angus. Model Completeness. Chapter A.4, Handbook of Mathematical Logic, Jon Barwise, ed. North-Holland, Amsterdam, 1977.

    Google Scholar 

  182. MacLANE, Saunders. Categorical algebra. Bulletin Amer. Math. Soc. { 71} (1965), pp. 40–106.

    Google Scholar 

  183. MacLANE, Saunders. Categories for the Working Mathematician. Springer, Berlin, 1971.

    Google Scholar 

  184. MacLANE, Saunders. Sets, topoi, and internal logic in categories. Logic Colloquium ’73 (Bristol, 1973), pp.  119–134. Studies in Logic and the Foundations of Mathematics, { 80}, North-Holland, Amsterdam, 1975.

    Google Scholar 

  185. McCOY, Neal H. Subrings of infinite direct sums. Duke Math. J. { 4} (1938), pp. 486–494.

    Google Scholar 

  186. McCOY, Neal H. The Theory of Rings. MacMillan, New York, 1964. Reprinted by Chelsea, NewYork, 1973.

    Google Scholar 

  187. McCOY, Neal H. and MONTGOMERY, D. A representation of generalized Boolean rings. Duke Math. J. { 3} (1937), pp. 455–459.

    Google Scholar 

  188. McKENZIE, Ralph. Monotone clones, residual smallness and congruence distributivity. Bull. Austral. Math. Soc. { 41} (1990), pp. 283–300.

    Google Scholar 

  189. McKENZIE, Ralph. An algebraic version of categorical equivalence for varieties and more general algebraic categories. Logic and algebra (Pontignano, 1994), pp. 211–243, Lecture Notes in Pure and Appl. Math., { 180}, Dekker, New York, 1996.

    Google Scholar 

  190. McKENZIE, Ralph N., McNULTY, George F. and TAYLOR, Walter F. Algebras, Lattices, Varieties vol. 1. Wadsworth & Brooks/Cole, Monterey, CA, 1987.

    Google Scholar 

  191. McKENZIE, Ralph and VALERIOTE, Matthew. The structure of decidable locally finite varieties. Progress in Mathematics, { 79}, Birkhuser, Boston, MA, 1989.

    Google Scholar 

  192. MENDELSON, Elliott. Introduction to Mathematical Logic. Van Nostrand, Princeton, NJ, 1964.

    Google Scholar 

  193. MIDONICK, Henrietta O. The Treasury of Mathematics. Philosophical Library, New York, 1965.

    Google Scholar 

  194. MULVEY, Christopher J. Representations of rings and modules. Applications of sheaves, pp. 542–585. Lecture Notes in Math., { 753}. Springer, Berlin, 1979.

    Google Scholar 

  195. MYCIELSKI, Jan. A system of axioms of set theory for the rationalists. Notices Amer. Math. Soc. { 53} (2006), pp. 206–233.

    Google Scholar 

  196. NOETHER, Emmy. Idealtheorie in Ringbereichen. Math. Ann. { 83} (1921), pp. 24–66.

    Google Scholar 

  197. NOETHER, Emmy. Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern. Math. Annalen { 96} (1926), pp. 26–61.

    Google Scholar 

  198. NOVÝ, Luboš. Origins of Modern Algebra. Nordhoof, Leyden, 1973.

    Google Scholar 

  199. PEACOCK, George. A Treatise on Algebra. J. & J. J. Deighton, Cambridge, 1830.

    Google Scholar 

  200. PEERCY, David Eugene. The Complete Baer Extension of a Commutative Ring. Ph. D. Dissertation, New Mexico State University, Las Cruces, New Mexico, 1970.

    Google Scholar 

  201. PEIRCE, Benjamin. Linear Associative Algebras. Washington, D.C., 1870. Also in Amer. J. Math. { 4} (1881), pp. 97–229.

    Google Scholar 

  202. PETRICH, Mario. Lectures in Semigroups. Wiley, New York, 1977.

    Google Scholar 

  203. PICAVET, Gabriel. Ultrafiltres sur un espace spectral – anneaux de Baer – anneaux a spectre minimal compact. Math. Scand. { 46} (1980), pp. 23–53.

    Google Scholar 

  204. PIERCE, Richard. S. Modules over commutative regular rings. Memoir American Mathematical Society, No. 70, Amer. Math. Soc., Providence, RI, 1967.

    Google Scholar 

  205. PIERCE, Richard. S. Introduction to the Theory of Abstract Algebras. Holt, Rinehart and Winston, New York, 1968.

    Google Scholar 

  206. PILZ, Günter. Near-Rings — The Theory and its Applications, revised edition. North-Holland, Amsterdam, 1983.

    Google Scholar 

  207. PINUS, Alexander G. Boolean Constructions in Universal Algebra. Kluwer, Dordrecht, 1993.

    Google Scholar 

  208. PIXLEY, Alden F. Distributivity and permutability of congruence relations in equational classes of algebras. Proc. Amer. Math. Soc. { 14} (1963), pp. 105–109.

    Google Scholar 

  209. PIXLEY. Alden F. Boolean Universal Algebra. Logic and Algebra (Pontignano, 1994), pp. 245–266. Lecture Notes in Pure and Applied Mathematics, { 180}. Dekker, New York, 1996.

    Google Scholar 

  210. POST, Emil L. Introduction to a general theory of elementary propositions. Amer. J. Math. { 43} (1921), pp. 163–185.

    Google Scholar 

  211. PREST, Mike. Model theory and modules. London Mathematical Society Lecture Note Series, { 130}. Cambridge University Press, Cambridge.

    Google Scholar 

  212. PRIESTLEY, Hillary A. Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. { 2} (1970), pp. 186–190.

    Google Scholar 

  213. PRIESTLEY, Hillary A. Stone lattices: a topological approach. Fund. Math. { 84} (1974), pp. 127–143.

    Google Scholar 

  214. QUACKENBUSH, Robert W. Primality: the influence of Boolean algebras in universal algebra. Appendix 5 of Universal Algebra, 2nd ed. G. Grätzer. Springer, Berlin, 1979.

    Google Scholar 

  215. RASIOWA, Helena. An Algebraic Approach to Non-Classical Logics. North-Holland, Amsterdam, 1974.

    Google Scholar 

  216. RIBENBOIM, Paulo. Boolean powers. Fund. Math. { 65} (1969), pp. 243–268.

    Google Scholar 

  217. ROMANOWSKA, Anna B. and SMITH, Jonathan D. H. Duality for semilattice representations. J. Pure Appl. Algebra { 115} (1997), pp.  289–308.

    Google Scholar 

  218. ROMO SANTOS, Concepción. Los Orígenes de la teoría de haces (The origins of the theory of sheaves). Mathematical contributions, pp. 145–160, Editorial Complutense, Madrid, 1994.

    Google Scholar 

  219. ROSENBERG, Ivo. Über die funktionale Vollständigkeit in den mehrwertigen Logiken. Struktur der Funktionen von mehreren Veränderlichen auf endlichen Mengen. Rozpravy Československé Akademie Věd, Řada Matematických a Přírodních Věd { 80} (1970), no. 4.

    Google Scholar 

  220. ROSENBLOOM, Paul C. Post Algebras. I. Postulates and general theory. Amer. J. Math. { 64} (1942), pp. 167–188.

    Google Scholar 

  221. SÁNCHEZ TERRAF, Pedro. Boolean Factor Congruences and Property (*). http://arxiv.org/PS_cache/arxiv/pdf/0809/0809.3815v1.pdf, 22 Sep. 2008.

  222. SÁNCHEZ TERRAF, Pedro, VAGGIONE, Diego J. Varieties with definable factor congruences. Trans. Amer. Math. Soc. { 361} (2009), pp. 5061-5088.

    Google Scholar 

  223. SEEBACH, J. Arthur, Jr., SEEBACH, Linda A. and STEEN, Lynn A. What is a Sheaf? The American Mathematical Monthly { 77} (1970), pp. 681–703.

    Google Scholar 

  224. SERRE, Jean-Pierre. Faisceaux algébriques cohérents. Ann. Math. (2) { 61} (1955), pp. 197–278.

    Google Scholar 

  225. SIMMONS, Harold. Three sheaf constructions for noncommutative rings. Houston J. Math. { 10} (1984), pp. 433–443.

    Google Scholar 

  226. SMITH, Jonathan D. H. Mal’cev Varieties. Springer, Berlin, 1976.

    Google Scholar 

  227. STONE, Marshall H. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. { 40} (1936), pp. 37–111.

    Google Scholar 

  228. STONE, Marshall H. Applications of the theory of Boolean rings to general topology. Trans Amer. Math. Soc. { 41}(1937), pp. 375–481.

    Google Scholar 

  229. STONE, Marshall H. Topological representations of distributive lattices and Browerian logics. Časopis pešt. Mat. { 67} (1937), pp. 1–25.

    Google Scholar 

  230. STONE, Marshall H. Remarks by Professor Stone. Functional Analysis and Related Fields. Proceedings of a Conference in honor of Professor Marshall Stone, held at the University of Chicago, May 1968. Edited by Felix E. Browder. Springer, Berlin, 1970.

    Google Scholar 

  231. SUSSMAN, Irving. A generalization of Boolean rings. Math. Ann. { 136} (1958), pp. 326–338.

    Google Scholar 

  232. SUSSMAN, Irving and FOSTER, Alfred L. On rings in which a n(a) = a. Math. Ann. { 140}(1960), pp. 324–333.

    Google Scholar 

  233. SWAMY, U. Maddana. Representation of universal algebras by sheaves. Proc. Amer.​ Math.​ Soc. { 45} (1974), pp. 55–58.

    Google Scholar 

  234. SWAMY, U. Maddana. Baer-Stone Semigroups. Semigroup Forum { 19} (1980), pp. 385–386.

    Google Scholar 

  235. SWAMY, U. Maddana and MANIKYAMBA, P. Representation of certain classes of distributive lattices by sections of sheaves. Internat. J. Math. Math. Sci. { 3} (1980), pp. 461–476.

    Google Scholar 

  236. SWAMY, U. Maddana and MURTI, G. Suryanarayana. Boolean centre of a universal algebra. Alg. Universalis { 13} (1981), pp. 202–205.

    Google Scholar 

  237. SWAMY, U. Maddana and MURTI, G. Suryanarayana. Boolean centre of a semigroup. Pure and Appl. Math. Sci. { 13} (1981), pp. 5–6.

    Google Scholar 

  238. SZETO, George. On sheaf representations of a biregular near-ring. Canad. Math. Bull. { 20} (1977), pp. 495–500.

    Google Scholar 

  239. SZETO, George. On a sheaf representation of a class of near-rings. J. Austral. Math. Soc. Ser. A { 23} (1977), pp. 78–83.

    Google Scholar 

  240. SZMIELEW, Wanda. Elementary properties of Abelian groups. Fund. Math. { 41} (1955), pp. 203-271.

    Google Scholar 

  241. TARSKI, Alfred. Arithmetical classes and types of Boolean algebras. Bull. Amer. Math. Soc. { 55} (1949), p. 64.

    Google Scholar 

  242. TENNISON, Barry R. Sheaf Theory. Cambridge University Press, Cambridge, UK, 1975.

    Google Scholar 

  243. TRILLAS, Enrique; ALSINA, Claudi. Introducción a los Espacios Métricos Generalizados. Serie Universitaria, { 49}. Fundación Juan March, Madrid, 1978.

    Google Scholar 

  244. VAGGIONE, Diego J. Sheaf representation and Chinese remainder theorems. Algebra Universalis { 29} (1992), pp. 232–272.

    Google Scholar 

  245. VAGGIONE, Diego J. Locally Boolean spectra. Algebra Universalis { 33} (1995), pp. 319–354.

    Google Scholar 

  246. VAGGIONE, Diego J. Varieties of shells. Algebra Universalis { 36} (1996), pp. 483–487.

    Google Scholar 

  247. VAGGIONE, Diego J. Varieties in which the Pierce stalks are directly indecomposable. J. Algebra { 184} (1996), pp. 424–434.

    Google Scholar 

  248. VAGGIONE, Diego J. E-mails to the author, 2010.

    Google Scholar 

  249. VAGGIONE, Diego J., SÁNCHEZ TERRAF, Pedro. Compact factor congruences imply Boolean factor congruences. Algebra Universalis { 51} (2004), pp. 207–213.

    Google Scholar 

  250. van der WAERDEN, B. L. A History of Algebra. From al-Khwārizmı̄ to Emmy Noether. Springer, Berlin, 1985.

    Google Scholar 

  251. VOLGER, Hugo. The Feferman-Vaught theorem revisited. Colloq. Math. { 36} (1976), pp. 111.

    Google Scholar 

  252. VOLGER, Hugo. Preservation theorems for limits of structures and global sections of sheaves of structures. Math. Z. { 166} (1979), pp. 27–53.

    Google Scholar 

  253. von NEUMANN, John. On regular rings. Proc. Nat. Acad. Sci. U.S.A. { 22} (1936), pp. 707–713.

    Google Scholar 

  254. WADE, L. I. Post algebras and rings. Duke Math. J. { 12} (1945), pp. 389–395.

    Google Scholar 

  255. WEISPFENNING, Volker. Model-completeness and elimination of quantifiers for subdirect products of structures. J. Algebra { 36} (1975), pp. 252–277.

    Google Scholar 

  256. WEISPFENNING, Volker. Lattice products. Logic Colloquium ‘78 (Mons, 1978), pp. 423-426. Stud. Logic Foundations Math., { 97}. North-Holland, Amsterdam, 1979.

    Google Scholar 

  257. WERNER, Heinrich. Congruences on products of algebras and functionally complete algebras. Algebra Universalis { 4} (1974), pp. 99–105.

    Google Scholar 

  258. WERNER, Heinrich. Discriminator-algebras. Algebraic representation and model theoretic properties. Studien zur Algebra und ihre Anwendungen, { 6}. Akademie-Verlag, Berlin, 1978.

    Google Scholar 

  259. WERNER, Heinrich. A generalization of Comer’s sheaf-representation theorem. Contributions to general algebra (Proc. Klagenfurt Conf., Klagenfurt, 1978), pp. 395–397. Heyn, Klagenfurt, 1979.

    Google Scholar 

  260. WILLARD, Ross. Varieties Having Boolean Factor Congruences. J. Algebra { 132} (1990), pp. 130–153.

    Google Scholar 

  261. WILLARD, Ross. An overview of modern universal algebra. Logic Colloquium 2004, pp. 197-220, Lect. Notes Log., { 29}, Assoc. Symbol. Logic, Chicago, IL, 2008.

    Google Scholar 

  262. WHITEHEAD, Alfred North. A Treatise on Universal Algebra with Applications. Cambridge at the University Press, 1898. Reprinted by Hafner, New York, 1960.

    Google Scholar 

  263. WOLF, Albrecht. Sheaf representation of arithmetical algebras. Memoirs Amer. Math. Soc. { 148} (1974), pp. 87–93.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 8412 Cherry Hills Drive, N.E., Albuquerque, NM, 87111-1027, USA

    Arthur Knoebel

Authors
  1. Arthur Knoebel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Arthur Knoebel .

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Knoebel, A. (2012). Shells. In: Sheaves of Algebras over Boolean Spaces. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-0-8176-4642-4_7

Download citation

Publish with us

Policies and ethics

Search

Navigation