Skip to main content
SpringerLink
Log in

Boolean constructions

  • Conference paper
  • First Online:
Universal Algebra and Lattice Theory

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1004))

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

Access this chapter

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 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 46.00
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • R.F. ARENS and I. KAPLANSKY [1948] Topological representations of algebras, Trans. Amer. Math. Soc. 63, 457–481.

    Article  MathSciNet  MATH  Google Scholar 

  • C.J. ASH [1975] Reduced powers and Boolean extensions, J. London Math. Soc. 9, 429–432.

    Article  MathSciNet  MATH  Google Scholar 

  • J.T. BALDWIN and A.H. LACHLAN [1973] On Universal Horn classes, Algebra Universalis 3, 98–111.

    Article  MathSciNet  MATH  Google Scholar 

  • J.T. BALDWIN and R.N. McKENZIE [a] Counting models in universal Horn classes [Preprint 1981].

    Google Scholar 

  • B. BANASCHEWSKI and E. NELSON [1980] Boolean powers as algebras of continuous functions, Dissertationes Mathematicae 179, Warsaw.

    Google Scholar 

  • G. BERGMAN [1972] Boolean rings of projections maps, J. London Math. Soc. 4, 593–598.

    Article  MathSciNet  MATH  Google Scholar 

  • G. BIRKHOFF [1933] On the combination of subalgebras, Proc. Camb. Philos. Soc. 29, 441–464.

    Article  MATH  Google Scholar 

  • [1935] On the structure of abstract algebras, Proc. Camb. Philos. Soc. 31, 443–445.

    Article  Google Scholar 

  • [1944] Subdirect unions in universal algebra, Bull. Amer. Math. Soc. 50, 764–768.

    Article  MathSciNet  MATH  Google Scholar 

  • G. BOOLE [1847] The mathematical analysis of logic.

    Google Scholar 

  • [1854] An investigation of the Laws of thought.

    Google Scholar 

  • S. BULMAN-FLEMING and H. WERNER [1977] Equational compactness in quasi-primal varieties, Algebra Universalis 7, 33–46.

    Article  MathSciNet  MATH  Google Scholar 

  • W.D. BURGESS and W. STEPHENSON [1976] Pierce sheaves of non-commutative rings, Communications in Algebra 4, 51–75.

    Article  MathSciNet  MATH  Google Scholar 

  • [1978] An analogue of the Pierce sheaf for non-commutative rings, Communications in Algebra 6, 863–886.

    Article  MathSciNet  MATH  Google Scholar 

  • [1979] Rings all of whose Pierce stalks are local, Canad. Math. Bull. 22, 159–164.

    Article  MathSciNet  MATH  Google Scholar 

  • S. BURRIS [1975] Boolean powers, Algebra Universalis 5, 341–360.

    Article  MathSciNet  MATH  Google Scholar 

  • [1978a] Bounded Boolean powers and ≡n, Algebra Universalis 8, 137–138.

    Article  MathSciNet  MATH  Google Scholar 

  • [1978b] Rigid Boolean powers, Algebra Universalis 8, 264–265.

    Article  MathSciNet  MATH  Google Scholar 

  • A note on directly indecomposable algebras (to appear in Algebra Universalis).

    Google Scholar 

  • The first-order theory of Boolean algebras with a distinguished group of automorphisms (to appear in Algebra Universalis).

    Google Scholar 

  • Model companions for finitely generated universal Horn classes (to appear in the J. of Symbolic Logic).

    Google Scholar 

  • S. BURRIS and J. LAWRENCE Two undecidability results using modified Boolean powers (to appear in the Canad. J. of Math.).

    Google Scholar 

  • S. BURRIS and R. McKENZIE [1981] Decidability and Boolean Representations, Memoirs Amer. Math. Soc. No. 246.

    Google Scholar 

  • S. BURRIS and H. WERNER [1979] Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248, 269–309.

    Article  MathSciNet  MATH  Google Scholar 

  • [1980] Remarks on Boolean products, Algebra Universalis 10, 333–344.

    Article  MathSciNet  MATH  Google Scholar 

  • D.M. CLARK and P.H. KRAUSS Boolean representation of congruence distributive varieties, Preprint No. 19/79 Gesamthochschule Kassel Dec. 1979.

    Google Scholar 

  • S.D. COMER [1971] Representations by algebras of sections over Boolean spaces, Pacific J. Math. 38, 29–38.

    Article  MathSciNet  MATH  Google Scholar 

  • [1972] A sheaf theoretic duality for cylindric algebras, Trans. Amer. Math. Soc. 169, 75–87.

    Article  MathSciNet  MATH  Google Scholar 

  • [1974] Elementary properties of structures of sections, Bol. Soc. Math. Mexicana 19, 78–85.

    MathSciNet  MATH  Google Scholar 

  • [1975] Monadic algebras with finite degree, Algebra Universalis 5, 315–327.

    Article  MathSciNet  MATH  Google Scholar 

  • [1976] Complete and model-complete theories of monadic algebras, Colloq. Math. 34, 183–190.

    MathSciNet  MATH  Google Scholar 

  • J. DAUNS and K.H. HOFMANN [1966] The representation of biregular rings by sheaves, Math. Z. 91, 103–123.

    Article  MathSciNet  MATH  Google Scholar 

  • R. DEDEKIND [1897] Ãœber Zerlegungen von Zahlen durch ihre grössten gemeinsamen Teiler, Festschrift Techn. Hoch. Braunschweig.

    Google Scholar 

  • B.A. DAVEY and H. WERNER [1979] Injectivity and Boolean powers, Math Z. 166, 205–223.

    Article  MathSciNet  MATH  Google Scholar 

  • YU. L. ERSHOV [1964] Decidability of the elementary theory of relatively complemented distributive lattices and the theory of filters, Algebra i Logika Sem. 3, 17–38. (Russian)

    MathSciNet  MATH  Google Scholar 

  • [1967] On the elementary theory of Post varieties, Alg. i. Logika 6, 7–15. (Russian)

    Google Scholar 

  • A.L. FOSTER [1945] The idempotent elements of a commutative ring form a Boolean algebra; ring duality and transformation theory, Duke Math. J. 12, 143–152.

    Article  MathSciNet  MATH  Google Scholar 

  • [1953a] Generalized "Boolean" theory of universal algebras. Part I: Subdirect sums and normal representation theorem, Math. Z. 58, 306–336.

    Article  MathSciNet  MATH  Google Scholar 

  • [1953b] Generalized "Boolean" theory of universal algebras. Part II: Identities and subdirect sums in functionally complete algebras, Math. Z. 59, 191–199.

    Article  MathSciNet  MATH  Google Scholar 

  • [1961] Functional completeness in the small. Algebraic structure theorems and identities, Math. Ann. 143, 29–53.

    Article  MathSciNet  MATH  Google Scholar 

  • O. FRINK [1928] On the existence of linear algebras in Boolean algebras, Bull. Amer. Math. Soc. 34, 329–333.

    Article  MathSciNet  MATH  Google Scholar 

  • S. GARAVAGLIA and J.M. PLOTKIN Separation properties and Boolean powers.

    Google Scholar 

  • I. GELFAND [1941] Normierte Ringe. Rec. Math. (Mat. Sbornik) N.S. 9, 1–23.

    MathSciNet  MATH  Google Scholar 

  • H. GONSHOR [1975] On GLn(B) where B is a Boolean ring, Canad. Math. Bull. 18, 209–215.

    Article  MathSciNet  MATH  Google Scholar 

  • M. GOULD and G. GRÄTZER [1967] Boolean extensions and normal subdirect powers of finite universal algebras, Math. Z. 99, 16–25.

    Article  MathSciNet  MATH  Google Scholar 

  • W. HANF [1957] On some fundamental problems concerning isomorphism of Boolean algebras, Math. Scand. 5, 205–217.

    Article  MathSciNet  MATH  Google Scholar 

  • K. HICKIN and J.M. PLOTKIN [1981] Boolean powers: Direct decomposition and isomorphism types, Trans. Amer. Math. Soc. 265, 607–621.

    Article  MathSciNet  MATH  Google Scholar 

  • E.V. HUNTINGTON [1904] Sets of independent postulates for the algebra of logic, Trans. Amer. Math. Soc. 5, 288–309.

    Article  MathSciNet  MATH  Google Scholar 

  • W.S. JEVONS [1864] Pure Logic, London, E. Stanford.

    Google Scholar 

  • B. Jónsson [1951] A Boolean algebra without proper automorphisms, Proc. Amer. Math. Soc. 2, 766–770.

    Article  MathSciNet  MATH  Google Scholar 

  • [1957] On isomorphism types of groups and other algebraic systems, Math. Scand. 5, 224–229.

    Article  MathSciNet  MATH  Google Scholar 

  • [1962] Review of Foster's 1961 paper, Math. Rev. 23, No. A.85.

    Google Scholar 

  • K. KEIMEL and H. WERNER [1974] Stone duality for varieties generated by quasiprimal algebras, Memoirs Amer. Math. Soc. No. 148, 59–85.

    Google Scholar 

  • J. KETONEN [1978] The structure of countable Boolean algebras, Ann. of Math. (2) 108, 41–89.

    Article  MathSciNet  MATH  Google Scholar 

  • P.H. KRAUSS [a] The structure of filtral varieties, Gesamthochschule Kassel, Reprint No. 6/81, June, 1981.

    Google Scholar 

  • J. LAWRENCE [1981] Boolean powers of groups, Proc. Amer. Math. Soc. 82, 512–515.

    Article  MathSciNet  MATH  Google Scholar 

  • A. MACINTYRE [1973/74] Model completeness for sheaves of structures, Fund. Math. 81, 73–89.

    MathSciNet  MATH  Google Scholar 

  • R. MANSFIELD [1971] The theory of Boolean ultrapowers, Ann. of Math. Logic 2, 297–325.

    Article  MathSciNet  MATH  Google Scholar 

  • [1977] Sheaves and normal submodels, J. of Symbolic Logic 42, 241–250.

    Article  MathSciNet  MATH  Google Scholar 

  • N.H. McCOY and D. MONTGOMERY [1937] A representation of generalized Boolean rings, Duke Math. J. 3, 455–459.

    Article  MathSciNet  MATH  Google Scholar 

  • R. McKENZIE and J.D. MONK [1973] On automorphism groups of Boolean algebras, Colloquia Mathematica Societatis Janos Boylai, Keszthely, Hungary, 951–988.

    Google Scholar 

  • J.D. MONK and W. RASSBACH [1979] The number of rigid Boolean algebras, Algebra Universalis 9, 207–210.

    Article  MathSciNet  MATH  Google Scholar 

  • C.S. PEIRCE [1867] On an improvement in Boole's calculus of logic, Proc. of Amer. Acad. of Arts and Sciences 7, 250–261.

    Google Scholar 

  • [1880] On the algebra of logic, Amer. J. Math. 3, 15–57.

    Article  MathSciNet  MATH  Google Scholar 

  • R.S. PIERCE [1967] Modules over Commutative Regular Rings, Memoirs Amer. Math. Soc. No. 70.

    Google Scholar 

  • E.L. POST [1921] Introduction to a general theory of elementary propositions, Amer. J. of Math. 43, 163–185.

    Article  MathSciNet  MATH  Google Scholar 

  • R. QUACKENBUSH [1980] Algebras with minimum spectrum, Algebra Universalis 10, 117–129.

    Article  MathSciNet  MATH  Google Scholar 

  • M.O. RABIN [1969] Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141, 1–35.

    MathSciNet  MATH  Google Scholar 

  • P.C. ROSENBLOOM [1942] Post algebras I. Postulates and general theory, Amer. J. Math. 64, 167–188.

    Article  MathSciNet  MATH  Google Scholar 

  • J.G. ROSENSTEIN [1972] On GL2(R) where R is a Boolean ring, Canad. Math. Bull. 15, 263–275.

    Article  MathSciNet  MATH  Google Scholar 

  • M. RUBIN [1976] The theory of Boolean algebras with a distinguished subalgebra is undecidable, Ann. Sci. Univ. Clermont No. 60 Math. No. 13, 129–134.

    Google Scholar 

  • E. SCHRÖDER [1966] Die Algebra der Logik (3 vols.), Chelsea Publishing Co., N.V.

    Google Scholar 

  • M.H. STONE [1934] Boolean algebras and their application to topology, Proc. N.A.S. 20, 197–202.

    Article  MATH  Google Scholar 

  • [1935] Subsumption of the theory of Boolean algebras under the theory of rings, Proc. N.A.S. 21, 103–105.

    Article  MATH  Google Scholar 

  • [1936] The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40, 37–111.

    MathSciNet  MATH  Google Scholar 

  • [1937] Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc. 41, 375–481.

    Article  MathSciNet  MATH  Google Scholar 

  • [1938] The representation of Boolean Algebras, Bull. Amer. Math. Soc. 44, 807–816.

    Article  MathSciNet  MATH  Google Scholar 

  • A. TARSKI [1949] Arithmetical classes and types of mathematical systems, mathematical aspects of arithmetical classes and types, arithmetical classes and types of Boolean algebras, arithmetical classes and types of algebraically closed and real-closed fields, Bull. Amer. Math. Soc. 55, 63–64.

    Google Scholar 

  • [1957] Remarks on direct products of commutative semigroups, Math. Scand. 5, 218–223.

    Article  MathSciNet  MATH  Google Scholar 

  • L.I. WADE [1945] Post algebras and rings, Duke Math. J. 12, 389–395.

    Article  MathSciNet  MATH  Google Scholar 

  • B. WEGLORZ [1974] Some remarks on reduced powers, (Abstract) J. Symbolic Logic 39, 387.

    Google Scholar 

  • H. WERNER [1978] Discriminator Algebras. Studien zur Algebra und ihre Anwendungen, Band 6, Akademie-Verlag, Berlin.

    Google Scholar 

  • A.N. WHITEHEAD [1898] A Treatise on Universal Algebra, with Applications, Vol. 1, Cambridge.

    Google Scholar 

  • A. WOJCIECHOWSKA [1969] Generalized limit powers, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 17, 121–122.

    MathSciNet  MATH  Google Scholar 

  • A. WOLF [1975] Decidability for Boolean algebras with automorphisms, Notices Amer. Math. Soc. #7St-E73, 22, No. 164, p.A-648.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Pure Mathematics, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada

    Stanley Burris

Authors
  1. Stanley Burris
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ralph S. Freese Octavio C. Garcia

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag

About this paper

Cite this paper

Burris, S. (1983). Boolean constructions. In: Freese, R.S., Garcia, O.C. (eds) Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol 1004. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0063430

Download citation

  • DOI: https://doi.org/10.1007/BFb0063430

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12329-3

  • Online ISBN: 978-3-540-40954-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation