شبه تنوع
لتكبير النص لتصغير النص-
موضوع
|
رقم النظام
987007532653005171
-
تم الحفظ بنجاحהפריט קיים באזור האישישגיאהلحفظ المحتوى الرجاء تسجيل الدخول
معلومات حول الهوية:
الاسم الرئيس (بالعبرية)
כמו-יריעות (אלגברה אוניברסלית)
الاسم الرئيس (باللاتينية)
Quasivarieties (Universal algebra)
الاسم الرئيس (بالعربية)
شبه تنوع
صِيَغ اسمية أخرى
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
موضوع ذو صلة
Varieties (Universal algebra)
Logic, Symbolic and mathematical
MARC
MARC
أرقام تعريفية أخرى
Wikidata:
Q2752716
Library of congress:
sh 98004249
مصادر المعلومات
- 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)