Add to ORKGAbstract. A set of operations on A is shown to be the set of linear term operations of some algebra on A if and only if it is closed under permutation of variables, addition of inessential variables and composition and it contains all projections. A Galois framework is introduced to describe the sets of oper-ations that are closed under the operations mentioned above, not necessarily containing all projections. The dual objects of this Galois connection are systems of pointed multisets, and the Galois closed sets of dual objects are de-scribed accordingly. Moreover, the closure systems associated with this Galois connection are shown to be uncountable (even if the closed sets of operations are assumed to contain all projections). 1
Notions of discrete and indiscrete classes with respect to a closure operator are introduced and stu...
Galois theory has such close analogies with the theory of coatings that algebraists use a geometric ...
Pippenger’s Galois theory of finite functions and relational constraints is ex- tended to the infinit...
A set of operations on A is shown to be the set of linear term operations of some algebra on A if an...
We describe the classes of operations closed under permutation of variables, addition of dummy varia...
We study the basic Galois connection induced by the ``satisfaction" relation between external operat...
We discuss some new properties of the natural Galois connection among set relation algebras, permuta...
peer reviewedPreclones are described as the closed classes of the Galois connection induced by a pre...
In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categ...
peer reviewedClasses of functions of several variables on arbitrary nonempty domains that are closed...
In this thesis we prove several properties of the Galois closure of commutative algebras defined by ...
Operation algebras serve as representations of composition algebras (in the sense of Lausch/Nöbauer...
Abstract: The Galois Theory has been largely developed and analyzed. In the present paper, certain t...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
Given two closure spaces (E,j) and (E',j'), a relation R inclue dans E x E' is said biclosed if ever...
Notions of discrete and indiscrete classes with respect to a closure operator are introduced and stu...
Galois theory has such close analogies with the theory of coatings that algebraists use a geometric ...
Pippenger’s Galois theory of finite functions and relational constraints is ex- tended to the infinit...
A set of operations on A is shown to be the set of linear term operations of some algebra on A if an...
We describe the classes of operations closed under permutation of variables, addition of dummy varia...
We study the basic Galois connection induced by the ``satisfaction" relation between external operat...
We discuss some new properties of the natural Galois connection among set relation algebras, permuta...
peer reviewedPreclones are described as the closed classes of the Galois connection induced by a pre...
In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categ...
peer reviewedClasses of functions of several variables on arbitrary nonempty domains that are closed...
In this thesis we prove several properties of the Galois closure of commutative algebras defined by ...
Operation algebras serve as representations of composition algebras (in the sense of Lausch/Nöbauer...
Abstract: The Galois Theory has been largely developed and analyzed. In the present paper, certain t...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
Given two closure spaces (E,j) and (E',j'), a relation R inclue dans E x E' is said biclosed if ever...
Notions of discrete and indiscrete classes with respect to a closure operator are introduced and stu...
Galois theory has such close analogies with the theory of coatings that algebraists use a geometric ...
Pippenger’s Galois theory of finite functions and relational constraints is ex- tended to the infinit...