Essential Variables and Separable Sets in Universal Algebra
From MaRDI portal
Abstract: The study of essential and strongly essential variables in functions defined on finite sets is a part of -valued logic. We extend the main definitions from functions to terms. This allows us to apply concepts and results of Universal Algebra. On the basis of the concept of a separable set of variables in a term we introduce a new notion of complexity of terms, algebras and varieties and give examples.
Recommendations
- On algebraic properties of universal algebras
- Universal algebras
- On universal algebra over nominal sets
- scientific article; zbMATH DE number 3216991
- New algebraic invariants for definable subsets in universal algebra
- scientific article; zbMATH DE number 2221920
- Algebraic characterizations of variable separation properties
- A classification of universal algebras
- scientific article; zbMATH DE number 772750
- Algebraic dependences and reducibilities of constructivizations in universal domains
Cited in
(5)- Definable functions of universal algebras and definable equivalence between algebras.
- On the upper bounds for complexities of discrete functions
- scientific article; zbMATH DE number 3987276 (Why is no real title available?)
- Essential variables and positions in terms
- Stable varieties of semigroups and groupoids.
This page was built for publication: Essential Variables and Separable Sets in Universal Algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804664)
