Abstract
In this survey article we present some of Janusz Czelakowski’s most influential contributions to the theory of quasivarieties. The material includes his work on: definability of principal congruences, characterizations of relative congruence distributivity, and equational definability of principal meets. In addition, we show how Czelakowski and Dziobiak applied these ideas to produce finite basis theorems. Special emphasis is placed on delivering a readable and self-contained account that incorporates the majority of the proofs and highlights the connections among the covered topics.
Second reader: Anna Romanowska
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This is essentially a Jónsson implication system in (Czelakowski, 2001, Chap. Q).
References
Baker, K. (1974). Primitive satisfaction and equational problems for lattices and other algebras. Transactions of the American Mathematical Society, 190, 125–150.
Baker, K. (1977). Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Mathematics, 24, 207–243.
Baker, K., & Wang, J. (2002). Definable principal subcongruences. Algebra Universalis, 47, 145–151.
Baldwin, J., & Berman, J. (1975). The number of subdirectly irreducible algebras in a variety. Algebra Universalis, 5, 379–389.
Bergman, C. (2012). Universal algebra (Vol. 301). Fundamentals and selected topics. CRC Press.
Blok, W., & Pigozzi, D. (1986). A finite basis theorem for quasivarieties. Algebra Universalis, 22, 1–13.
Blok, W., & Pigozzi, D. (1991). Local deduction theorems in algebraic logic. In Algebraic Logic (Proceeding Conferece Budapest 1988), Colloquia Mathematica Societatis János Bolyai (Vol. 54, pp. 75–109).
Burris, S., & Sankappanavar, H. (1981). A course in universal algebra. Springer.
Campercholi, M., & Vaggione, D. (2012). Implicit definition of the quaternary discriminator. Algebra Universalis, 68, 1–16.
Czelakowski, J. (1985). The congruence extension property and the problem of definability of principal congruences. Preprint.
Czelakowski, J. (1989). Relatively point regular quasivarieties. Polish Academy of Sciences Institute of Philosophy and Sociology. Bulletin of the Section of Logic, 18, 138–145.
Czelakowski, J. (1990). Relatively congruence-distributive subquasivarieties of filtral varieties. Polish Academy of Sciences Institute of Philosophy and Sociology. Bulletin of the Section of Logic, 19, 66–70.
Czelakowski, J. (1996). Filtered subdirect products. Bulletin of the Section of Logic University Łódź, 25, 103–111.
Czelakowski, J. (1998). Relative principal congruences in congruence-modular quasivarieties. Algebra Universalis, 39, 81–101.
Czelakowski, J. (2001). Protoalgebraic logics. Dordrecht: Kluwer Academic Publishers.
Czelakowski, J. (2014). Triangular irreducibility of congruences in quasivarieties. Algebra Universalis, 71, 261–283.
Czelakowski, J., & Dziobiak, W. (1986). Quasivarieties with equationally defined principal intersections. Manuscript.
Czelakowski, J., & Dziobiak, W. (1990). Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Universalis, 27, 128–149.
Czelakowski, J., & Dziobiak, W. (1992). A single quasi-identity for a quasivariety with the Fraser-Horn property. Algebra Universalis, 29, 10–15.
Czelakowski, J., & Dziobiak, W. (1996). The parameterized local deduction theorem for quasivarieties of algebras and its application. Algebra Universalis, 35, 373–419.
Dziobiak, W. (1990). Relative congruence distributivity within quasivarieties of nearly associative ϕ-algebras. Fundamenta Mathematicae, 135, 77–95.
Gorbunov, V. (1984). Characterization of residually small quasivarieties. Doklady Akademii Nauk, 275, 293–296.
Gorbunov, V. (1998). Algebraic theory of quasivarieties. Consultants Bureau, New York. (Translated from the Russian).
Jónsson, B. (1967). Algebras whose congruence lattices are distributive. Mathematica Scandinavica, 21, 110–121 (1968).
Jónsson, B. (1979). On finitely based varieties of algebras. Colloquium Mathematicum, 42, 255–261.
Kearnes, K., & McKenzie, R. (1992). Commutator theory for relatively modular quasivarieties. Transactions of the American Mathematical Society, 331, 465–502.
Lyndon, R. (1954). Identities in finite algebras. Proceedings of the American Mathematical Society, 5, 8–9.
McKenzie, R. (1978). Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties. Algebra Universalis, 8, 336–348.
Nurakunov, A. (1990). Quasivarieties of algebras with definable principal congruences. Algebra I Logika, 29, 35–46, 129.
Nurakunov, A., & Stronkowski, M. (2009). Quasivarieties with definable relative principal subcongruences. Studia Logica, 92, 109–120.
Pigozzi, D. (1988). Finite basis theorems for relatively congruence-distributive quasivarieties. Transactions of the American Mathematical Society, 310, 499–533.
Vaggione, D. (2018). Infinitary Baker-Pixley theorem. Algebra Universalis, 79, Paper No. 67, 14.
Vaggione, D. (2019). Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties. International Journal of Algebra and Computation, 29, 459–480.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Campercholi, M., Castaño, D. (2024). Czelakowski’s Work on Quasivarieties. In: Malinowski, J., Palczewski, R. (eds) Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic, vol 27. Springer, Cham. https://doi.org/10.1007/978-3-031-44490-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-031-44490-6_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-44489-0
Online ISBN: 978-3-031-44490-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)