Galois theory for sets of operations closed under permutation, cylindrification, and composition

DOI10.1007/S00012-012-0184-1zbMath1257.08002arXiv0910.5409OpenAlexW2038909626MaRDI QIDQ422339

Erkko Lehtonen, Miguel Couceiro

Publication date: 16 May 2012

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0910.5409

zbMATH Keywords

Galois connectioncompositionfunction algebraread-once functioncylindrificationlinear term operationspermutation of variablessystem of pointed multisets

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (15)

Galois theory for semiclones ⋮ The partial clone of linear terms ⋮ Semigroups of linear tree languages ⋮ A generalized superposition of linear tree languages and products of linear tree languages ⋮ Galois theory for analogical classifiers ⋮ Semigroup properties of linear terms ⋮ Clone-induced approximation algebras of Bernoulli distributions ⋮ Some varieties of algebraic systems of type ((n),(m)) ⋮ Unnamed Item ⋮ On the efficiency of normal form systems for representing Boolean functions ⋮ Unnamed Item ⋮ Partial clones ⋮ The semigroup of linear terms ⋮ Partial Menger algebras of terms ⋮ On the number of universal algebraic geometries

Uses Software

• JBool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Closed classes of functions, generalized constraints, and clusters
• Galois theory for minors of finite functions
• On generalized constraints and certificates
• Closed systems of functions and predicates
• On closed sets of relational constraints and classes of functions closed under variable substitutions
• Function Algebras on Finite Sets
• Galois Connexions
• Closure Operators and Galois Theory in Lattices

This page was built for publication: Galois theory for sets of operations closed under permutation, cylindrification, and composition