Advertisement

Quasivarieties

  • A. I. Mal’cev
Part of the Die Grundlehren der mathematischen Wissenschaften book series (GL, volume 192)

Abstract

Varieties and quasivarieties of algebras are classes of algebras which can be defined by means of a collection of identities and quasi-identities (conditional identities), respectively. Since identities and quasi-identities are ∀-formulas, varieties and quasivarieties are particular types of universally axiomatizable classes of algebras whose general properties were studied in Section 7. The special position of quasivarieties and especially varieties in general algebra is due to the fact that many structures intensely investigated in classical algebra such as groups, rings, lattices, Boolean algebras, etc., form varieties.

Keywords

Algebraic System Free Product Homomorphic Image Predicate Symbol Free System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag, Berlin · Heidelberg 1973

Authors and Affiliations

  • A. I. Mal’cev
    • 1
  1. 1.NovosibirskUSSR

Personalised recommendations