Galois theory for sets of operations closed under permutation, cylindrification, and composition
From MaRDI portal
Publication:422339
Abstract: We consider sets of operations on a set A that are closed under permutation of variables, addition of dummy variables and composition. We describe these closed sets in terms of a Galois connection between operations and systems of pointed multisets, and we also describe the closed sets of the dual objects by means of necessary and sufficient closure conditions. Moreover, we show that the corresponding closure systems are uncountable for every A with at least two elements.
Recommendations
Cites Work
- scientific article; zbMATH DE number 5852793 (Why is no real title available?)
- scientific article; zbMATH DE number 3968584 (Why is no real title available?)
- scientific article; zbMATH DE number 3677917 (Why is no real title available?)
- scientific article; zbMATH DE number 2118880 (Why is no real title available?)
- Closed classes of functions, generalized constraints, and clusters
- Closed systems of functions and predicates
- Closure Operators and Galois Theory in Lattices
- Function Algebras on Finite Sets
- Galois Connexions
- Galois theory for minors of finite functions
- On closed sets of relational constraints and classes of functions closed under variable substitutions
- On generalized constraints and certificates
- Universal algebra and applications in theoretical computer science
Cited In (18)
- The order of linear relational hypersubstitutions for algebraic systems
- On the efficiency of normal form systems for representing Boolean functions
- On the number of universal algebraic geometries
- Galois theory for analogical classifiers
- Semigroups of linear tree languages
- Partial clones
- Partial Menger algebras of terms
- Galois theory for finite algebras of operations and multioperations of rank 2
- The semigroup of linear terms
- Galois theory for semiclones
- A generalized superposition of linear tree languages and products of linear tree languages
- Characterization of sets of discrete functions by algebraic identities
- Some varieties of algebraic systems of type \(((n),(m))\)
- Semigroup properties of linear terms
- The partial clone of linear terms
- The partial clone of completely expanded terms
- Clone-induced approximation algebras of Bernoulli distributions
- The monoid of linear hypersubstitutions
Uses Software
This page was built for publication: Galois theory for sets of operations closed under permutation, cylindrification, and composition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q422339)