Quasivarieties (Universal algebra)
From Library of Congress Subject Headings
Quasivarieties (Universal algebra)
URI(s)
- http://id.loc.gov/authorities/subjects/sh98004249
- info:lc/authorities/sh98004249
- http://id.loc.gov/authorities/sh98004249#concept
Instance Of
Scheme Membership(s)
Collection Membership(s)
Variants
- Algebraic systems, Quasi-varieties of
- Classes, Implicationally defined
- Classes, Quasi-primitive
- Classes, Universal Horn
- Horn classes, Universal
- Implicationally defined classes
- Quasi-primitive classes
- Quasi-varieties of algebraic systems
- Quasiprimitive classes
- Universal Horn classes
Broader Terms
Sources
- found: Work cat.: 98-36280: Gorbunov, V.A. Algebraic theory of quasivarieties, c1998: CIP pref. (a branch of algebra and mathematical logic that deals with a fragment of the first-order logic, the so called universal Horn Logic)
- found: Math. subj. classif. (08-XX, General mathematical systems; 08Cxx, Classes of algebras; 08C15, Quasivarieties)
- found: Encyc. math. (Algebraic systems, Quasi-variety of: a class of algebraic systems ([Omega]-systems) axiomatized by special formulas of a first-order logical language called quasi-identities or conditional identities; also known as a universal Horn class or quasi-primitive class)
- found: Eisenreich. Mathematik (quasiprimitive class; implicationally defined class, quasivariety; definitions for quasivariety under category theory and universal algebra)
- notfound: Encyc. dict. math.;James math. dict.
Change Notes
- 1998-07-15: new
Alternate Formats
Suggest terminology
The LC Authorities and Vocabularies service welcomes any suggestions you might have about terminology used for a given heading or concept.
Would you like to suggest a change to this heading?
Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.
Alternatively, you can contact us directly at idfeedback@loc.gov.
Fields denoted with an asterisk (*) are required.
