quasivariety

См. также в других словарях:

• Quasivariety — A quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. TOC DefinitionIn mathematics, a quasivariety is a class K of algebras with a specified… …   Wikipedia

• quasivariety — noun Any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class …   Wiktionary

• Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… …   Wikipedia

• Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… …   Wikipedia

• List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Problems in loop theory and quasigroup theory — In mathematics, especially abstract algebra, loop theory and quasigroup theory are active research areas with many open problems. As in other areas of mathematics, such problems are often made public at professional conferences and meetings. Many …   Wikipedia

• Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… …   Wikipedia

• List of mathematics articles (Q) — NOTOC Q Q analog Q analysis Q derivative Q difference polynomial Q exponential Q factor Q Pochhammer symbol Q Q plot Q statistic Q systems Q test Q theta function Q Vandermonde identity Q.E.D. QED project QR algorithm QR decomposition Quadratic… …   Wikipedia

• Quasiidentity — In universal algebra, a quasiidentity is an implication of the form : s 1 = t 1 ∧ … ∧ s n = t n → s = t where s1, ..., sn, s and t1, ..., tn,t are terms built up from variables using the operation symbols of the specified… …   Wikipedia