Quasivarieties (Universal algebra)
Enlarge text Shrink text-
Topic
|
System number
987007532653005171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Hebrew)
כמו-יריעות (אלגברה אוניברסלית)
Name (Latin)
Quasivarieties (Universal algebra)
Name (Arabic)
شبه تنوع
Other forms of name
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
See Also From tracing topical name
Varieties (Universal algebra)
Logic, Symbolic and mathematical
MARC
MARC
Other Identifiers
Wikidata:
Q2752716
Library of congress:
sh 98004249
Sources of Information
- 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)
- Math. subj. classif.(08-XX, General mathematical systems; 08Cxx, Classes of algebras; 08C15, Quasivarieties)
- 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)
- Eisenreich. Mathematik(quasiprimitive class; implicationally defined class, quasivariety; definitions for quasivariety under category theory and universal algebra)
Wikipedia description:
In mathematics, a quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class.
Read more on Wikipedia >