Galois theory for semiclones
From MaRDI portal
Publication:334979
DOI10.1007/S00012-016-0407-YzbMATH Open1354.08002OpenAlexW2249850528WikidataQ55670523 ScholiaQ55670523MaRDI QIDQ334979FDOQ334979
Authors: Mike Behrisch 
Publication date: 1 November 2016
Published in: Algebra Universalis (Search for Journal in Brave)
Abstract: We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative function algebra (semiclones) and relation pair clones, respectively. Moreover, we describe the modified closure operators if only functions and relation pairs of a certain bounded arity, respectively, are considered.
Full work available at URL: https://arxiv.org/abs/1509.06355
Recommendations
Galois correspondences, closure operators (in relation to ordered sets) (06A15) Relational systems, laws of composition (08A02) Operations and polynomials in algebraic structures, primal algebras (08A40)
Cites Work
- A dichotomy theorem for constraint satisfaction problems on a 3-element set
- Function Algebras on Finite Sets
- A survey of clones on infinite sets
- A general Galois theory for operations and relations in arbitrary categories
- The cardinality of the set of all clones containing a given minimal clone on three elements
- Closed systems of functions and predicates
- Clones with nullary operations.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Galois theory for semiclones
- Galois theory for minors of finite functions
- Minimal functions on the random graph
- On closed sets of relational constraints and classes of functions closed under variable substitutions
- Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
- Reconstructing the topology of clones
- Clausal relations and {C}-clones
- On Galois Connections between External Operations and Relational Constraints: Arity Restrictions and Operator Decompositions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- Title not available (Why is that?)
- Topological Birkhoff
- Closed classes of functions, generalized constraints, and clusters
Cited In (17)
- On closed sets of relational constraints and classes of functions closed under variable substitutions
- Title not available (Why is that?)
- Reconstructing the topology of clones
- Title not available (Why is that?)
- Title not available (Why is that?)
- Clones with nullary operations.
- \(S\)-preclones and the Galois connection \(^S\mathrm{Pol} - {^S\mathrm{Inv}}\). I.
- A Galois connection of algebraic relations and colored resets
- Galois theory for finite algebras of operations and multioperations of rank 2
- Semi-topological Galois Theory
- Galois theory of semilinear transformations
- Galois theory for clones and superclones
- Galois theory for semiclones
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- Title not available (Why is that?)
- Characterization of preclones by matrix collections
- Galois theory for minors of finite functions
This page was built for publication: Galois theory for semiclones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334979)
