Skip to main content
SpringerLink
Log in

More on Finitely Generated Quasivarieties

  • Chapter
The Equationally-Defined Commutator

  • 359 Accesses

Abstract

We begin with the following observation concerning arbitrary finitely generated quasivarieties

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.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

Institutional subscriptions

Bibliography

  • Agliano, P., Ursini, A.: On subtractive varieties (II): general properties. Algebra Univers. 36, 222–259 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  • Agliano, P., Ursini, A.: On subtractive varieties (III): from ideals to congruences. Algebra Univers. 37, 296–333 (1997a)

    Article  MATH  MathSciNet  Google Scholar 

  • Agliano, P., Ursini, A.: On subtractive varieties (IV): definability of principal ideals. Algebra Univers. 38, 355–389 (1997b)

    Article  MATH  MathSciNet  Google Scholar 

  • Baker, K.: Primitive satisfaction and equational problems for lattices and other algebras. Trans. Am. Math. Soc. 190, 125–150 (1974)

    Article  MATH  Google Scholar 

  • Baker, K.: Finite equational bases for finite algebras in a congruence distributive equational class. Adv. Math. 24, 207–243 (1977)

    Article  MATH  Google Scholar 

  • Balbes, R.: A note on distributive sublattices of a modular lattice. Fundam. Math. 65(2), 219–222 (1969)

    MATH  MathSciNet  Google Scholar 

  • Bergman, C.: Universal Algebra: Fundamentals and Selected Topics. CRC, Boca Raton/London/New York (2011)

    Google Scholar 

  • Birkhoff, G.: Lattice Theory. American Mathematical Society Colloquium Publications, 3rd edn., vol. 25. American Mathematical Society, Providence (1967)

    Google Scholar 

  • Blok, W.J., Pigozzi, D.: A finite basis theorem for quasivarieties. Algebra Univers. 22, 1–13 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  • Blok, W.J., Pigozzi, D.: Algebraizable logics. Memoirs of the American Mathematical Society, No. 396, Amer. Math. Soc., Providence (1989)

    Google Scholar 

  • Blok, W.J., Pigozzi, D.: Algebraic semantics for universal Horn logic without equality. In: Romanowska, A., Smith, J.D.H. (eds.) Universal Algebra and Quasigroups, pp. 11–56. Heldermann, Berlin (1992)

    Google Scholar 

  • Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer, Berlin/New York (1981)

    Google Scholar 

  • Chang, C.C., Keisler, H.J.: Model Theory. North-Holland/American Elsevier, Amsterdam/London/New York (1973)

    MATH  Google Scholar 

  • Czédli, G., Horváth, E.K.: Congruence distributivity and modularity permit tolerances. Acta Universitatis Palackianae Olomucensis. Mathematica 41, 39–42 (2002)

    MATH  Google Scholar 

  • Czédli, G., Horváth, E.K., Lipparini, P.: Optimal Mal’tsev conditions for cogruence modular varieties. Algebra Univers. 53, 267–279 (2005)

    Article  MATH  Google Scholar 

  • Czelakowski, J.: Filter-distributive logics. Stud. Logica 43, 353–377 (1985)

    Article  MathSciNet  Google Scholar 

  • Czelakowski, J.: Relative principal congruences in congruence-modular quasivarieties. Algebra Univers. 39, 81–101 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  • Czelakowski, J.: Protoalgebraic Logics. Kluwer, Dordrecht (2001)

    Book  MATH  Google Scholar 

  • Czelakowski, J.: General theory of the commutator for deductive systems. Part I. Basic facts. Stud. Logica 83, 183–214 (2006)

    MATH  MathSciNet  Google Scholar 

  • Czelakowski, J.: Additivity of the commutator and residuation. Rep. Math. Log. 43, 109–132 (2008)

    MATH  MathSciNet  Google Scholar 

  • Czelakowski, J.: Triangular irreducibilty of conguences in quasivarieties. Algebra Univers. 71, 261–283 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  • Czelakowski, J., Dziobiak, W.: Congruence distributive quasivarieties whose subdirectly irreducible members form a universal class. Algebra Univers. 27, 128–149 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  • Czelakowski, J., Dziobiak, W.: A single quasi-identity for a quasivariety with the Fraser-Horn property. Algebra Univers. 29, 10–15 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  • Czelakowski, J., Dziobiak, W.: The parametrized local deduction theorem for quasivarieties of algebras and its applications. Algebra Univers. 35, 373–419 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  • Day, A.: A characterization of modularity for congruence lattices of algebras. Can. Math. Bull. 12, 167–173 (1969)

    Article  MATH  Google Scholar 

  • Day, A., Freese, R.: A characterization of identities implying congruence modularity. Can. J. Math. 32, 1140–1167 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  • Day, A., Gumm, H.P.: Some characterizations of the commutator. Algebra Univers. 29, 61–78 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  • Dent, T., Kearnes, K.A., Szendrei, Á.: An easy test for congruence modularity. Algebra Univers. 67, 375–392 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  • Dziobiak, W.: Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras. Fundam. Math. 135(2), 77–95 (1990)

    MATH  MathSciNet  Google Scholar 

  • Dziobiak, W., Maróti, M., McKenzie, R.N., Nurakunov, A.: The weak extension property and finite axiomatizability of quasivarieties. Fundam. Math. 202(3), 199–222 (2009)

    Article  MATH  Google Scholar 

  • Erné, M.: Weak distributive laws and their role in lattices of congruences and equational theories. Algebra Univers. 25, 290–321 (1988)

    Article  MATH  Google Scholar 

  • Font, J.M.: Abstract Algebraic Logic: An Introductory Textbook, forthcoming (2016)

    Google Scholar 

  • Font, J.M.: Abstract algebraic logic. an introductory chapter. In: Galatos, N., Terui, K. (eds.) Hiroakira Ono on Residuated Lattices and Substructural Logics. The Series: Outstanding Contributions to Logic. Springer, New York (2014)

    Google Scholar 

  • Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic, 2nd edn., vol. 7. Springer, New York (2009)

    Google Scholar 

  • Font, J.M., Jansana, R., Pigozzi, D.: A survey of abstract algebraic logic. Stud. Logica 74, 13–97 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  • Font, J.M., Jansana, R., Pigozzi, D.: Update to “a survey of abstract algebraic logic”. Stud. Logica 91, 125–130 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  • Freese, R., McKenzie, R.N.: Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge/New York (1987). The second edition is available online

    Google Scholar 

  • Gorbunov, V.: A characterization of residually small quasivarieties (in Russian). Doklady Akademii Nauk SSSR 275, 204–207 (1984)

    MathSciNet  Google Scholar 

  • Grätzer, G.: General Lattice Theory. Akademie, Berlin (1978)

    Book  Google Scholar 

  • Grätzer, G.: Universal Algebra, 2nd edn. Springer, New York (2008)

    Book  MATH  Google Scholar 

  • Gumm, H.P.: Geometrical Methods in Congruence Modular Algebras. Mem. Am. Math. Soc. 45, 286 (1983)

    MathSciNet  Google Scholar 

  • Gumm, H.P., Ursini, A.: Ideals in universal algebras. Algebra Univers. 19, 45–54 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  • Hagemann, J., Herrmann, C.: A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity. Archiv der Mathematik (Basel) 32, 234–245 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  • Herrmann, C.: Affine algebras in congruence modular varieties. Acta Sci. Math. (Seged) 41, 119–125 (1979)

    Google Scholar 

  • Hobby, D., McKenzie, R.N.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)

    Google Scholar 

  • Idziak, P.: Elementary theory of finite equivalential algebras. Rep. Math. Log. 25, 81–89 (1991)

    MATH  MathSciNet  Google Scholar 

  • Idziak, P.M., Słomczyńska, K., Wroński, A.: Equivalential algebras: a study of Fregean varieties in: J. Font, R. Jansana, and D. Pigozzi (eds.), Proc. Workshop on Abstract Algebraic Logic, Spain, July 1–5, 1997, CRM Quaderns 10, Barcelona, pp. 95–100, Preprint (1998)

    Google Scholar 

  • Idziak, P.M., Słomczyńska, K., Wroński, A.: Commutator in equivalential algebra and Fregean varieties. Algebra Univers. 65, 331–340 (2011)

    Article  MATH  Google Scholar 

  • Idziak, P.M., Wroński, A.: Definability of principal congruences in equivalential algebras. Colloq. Math. 74(2), 225–238 (1997)

    MATH  MathSciNet  Google Scholar 

  • Ježek, J.: Universal Algebra. First edition. Available on the internet: http:/www.karlin.mff.cuni.cz/~jezek/ua.pdf (2008)

    Google Scholar 

  • Jónsson, B.: Distributive sublattices of a modular lattice. Proc. Am. Math. Soc. 6, 682–688 (1955)

    Article  MATH  Google Scholar 

  • Kearnes, K.A.: Relatively congruence distributive subquasivarieties of a congruence modular variety. Bull. Aust. Math. Soc. 41, 87–96 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  • Kearnes, K.A.: An order-theoretic property of the commutator. Int. J. Algebra Comput. 3, 491–533 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  • Kearnes, K.A.: Varieties with a difference term. J. Algebra 177, 926–960 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  • Kearnes, K.A.: Almost all minimal idempotent varieties are congruence modular. Algebra Univers. 44, 39–45 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  • Kearnes, K.A.: Congruence join-semidistributivity is equivalent to a congruence identity. Algebra Univers. 46, 373–387 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  • Kearnes, K.A., Kiss, E.W.: The shape of congruence lattices. Mem. Am. Math. Soc. 222, 1046 (2013)

    MathSciNet  Google Scholar 

  • Kearnes, K.A., McKenzie, R.N.: Commutator theory for relatively modular quasivarieties. Trans. Am. Math. Soc. 331(2), 465–502 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  • Kearnes, K.A., Szendrei, Á.: The relationship between two commutators. Int. J. Algebra Comput. 8, 497–531 (1998)

    Article  MathSciNet  Google Scholar 

  • Kiss, E.W.: Three remarks on the modular commutator. Algebra Univers. 29, 455–476 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  • Lyndon, R.: Identities in two-valued calculi. Trans. Am. Math. Soc. 71, 457–465 (1951)

    Article  MATH  MathSciNet  Google Scholar 

  • Lyndon, R.: Identities in finite algebras. Proc. Am. Math. Soc. 5, 8–9 (1954)

    Article  MATH  MathSciNet  Google Scholar 

  • Maróti, M., McKenzie, R.N.: Finite basis problems and results for quasivarieties. Stud. Logica 78, 293–320 (2004)

    Article  MATH  Google Scholar 

  • McKenzie, R.N.: Finite equational bases for congruence modular varieties. Algebra Univers. 24, 224–250 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  • McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties, vol I. Wadsworth & Brooks/Cole, Monterey (1987)

    Google Scholar 

  • Nurakunov, A.: Quasi-identities of congruence-distributive quasivarieties of algebras. Sib. Math. J. 42, 108–118 (2001)

    Article  MathSciNet  Google Scholar 

  • Pigozzi, D.: Finite basis theorems for relatively congruence-distributive quasivarieties. Trans. Am. Math. Soc. 310(2), 499–533 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  • Quackenbush, R.: Quasi-affine algebras. Algebra Univers. 20, 318–327 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  • Scott, D.S.: Continuous lattices. In: Lawvere, F.W. (ed.) Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics, vol. 274, pp. 97–136. Springer, Berlin/New York (1972)

    Chapter  Google Scholar 

  • Słomczyńska, K.: Equivalential algebras. Part I: Representation Algebra Univers. 35, 524–547 (1996)

    MATH  Google Scholar 

  • Tamura, S.: A note on distributive sublattices of a lattice. Proc. Jpn. Acad. 47, 603–605 (1971)

    Article  MATH  Google Scholar 

  • Taylor, W.: Some applications of the term condition. Algebra Univers. 14, 11–24 (1982)

    Article  MATH  Google Scholar 

  • Ursini, A.: Prime ideals in universal algebra. Acta Univ. Carol. – Math. et Phys. 25(1), 75–87 (1984)

    Google Scholar 

  • Ursini, A.: On subtractive varieties (I). Algebra Univers. 31, 204–222 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  • Ursini, A.: On subtractive varieties (V): congruence modularity and the commutator. Algebra Univers. 43, 51–78 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  • von Neumann, J.: Lectures on Continuous Geometries. Institute of Advanced Studies, Princeton (1936–1937)

    Google Scholar 

  • Willard, R.: A finite basis theorem for residually small, congruence meet-semidistributive varieties. J. Symb. Log. 65, 187–200 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  • Willard, R.: Extending Baker’s theorem. Algebra Univers. 45, 335–344 (2001)

    MATH  MathSciNet  Google Scholar 

  • Wójcicki, R.: Theory of Logical Calculi. Basic Theory of Consequence Operations. Kluwer, Dordrecht/Boston/London (1988)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Informatics, Opole University, Opole, Poland

    Janusz Czelakowski

Authors
  1. Janusz Czelakowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Czelakowski, J. (2015). More on Finitely Generated Quasivarieties. In: The Equationally-Defined Commutator. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-21200-5_8

Download citation

Publish with us

Policies and ethics

Search

Navigation