Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-17T00:17:19.084Z Has data issue: false hasContentIssue false
  • English
  • Français

Minimal varieties and quasivarieties

Part of: Algebraic logic Varieties Other classes of algebra Algebraic structures

Published online by Cambridge University Press:  09 April 2009

Clifford Bergman  and
Ralph McKenzie
Clifford Bergman
Affiliation:
Iowa State UniversityAmes, Iowa 50011, U.S.A.
Ralph McKenzie
Affiliation:
University of CaliforniaBerkeley, California 94720, U.S.A.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We prove that every locally finite, congruence modular, minimal variety is minimal as a quasivariety. We also construct all finite, strictly simple algebras generating a congruence distributive variety, such that the sett of unary term perations forms a group. Lastly, these results are applied to a problem in algebraic logic to give a sufficient condition for a deductive system to be structurally complete.

Keywords

equationally complete varietyquasivarietycongruence modularclonestructurally complete logic.

MSC classification

Secondary: 08B15: Lattices of varieties 08C15: Quasivarieties 08B10: Congruence modularity, congruence distributivity 03G25: Other algebras related to logic 08A40: Operations, polynomials, primal algebras
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 48 , Issue 1 , February 1990 , pp. 133 - 147
Copyright
Copyright © Australian Mathematical Society 1990

References

[1]Andréka, H., Németi, I. and Sain, I., ‘Abstract Model Theoretic Approach to Algebraic Logic,’ preprint, 1984.Google Scholar
[2]Blok, W. and Pigozzi, D., Algebraizable Logics, Memoirs Amer. Math. Soc. 396, 1989.Google Scholar
[3]Freese, R. and McKenzie, R., Commutator Theory for Congruence Modular Varieties, London Mathematical Society Lecture Notes no. 125, Cambridge University Press, Cambridge, 1987.Google Scholar
[4]Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras, Part I, North-Holland, Amsterdam, 1971.Google Scholar
[5]Jonsson, B., ‘Algebras whose congruence lattices are distributive,’ Math. Scan. 21 (1967), 110–121.CrossRefGoogle Scholar
[6]Németi, I., ‘On varieties of cylindric algebras with applications to logic,’ Ann. Pure Appl. Logic 36 (1987), 235–277.CrossRefGoogle Scholar
[7]Szendrei, A., ‘Idempotent algebras with restrictions on subalgebras,’ Acta Sci. Math. 51 (1987), 251–268.Google Scholar
[8]Szendrei, A., ‘Every indempotent plain algebra generates a minimal variety,’ Algebra Universalis 25 (1988), 36–39.CrossRefGoogle Scholar
[9]Szendrei, A., ‘Demi-primal algebras,’ Algebra Universalis 18 (1984), 117–128.CrossRefGoogle Scholar