Reflections on and of minor-closed classes of multisorted operations

DOI10.1007/S00012-018-0549-1MaRDI QIDQ1991603zbMATH OpenOpenAlexWikidataFDO

Authors Erkko Lehtonen, Tamás Waldhauser, Reinhard Pöschel

Publication date 30 October 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL http://publicatio.bibl.u-szeged.hu/17356/1/2018_5.pdf

zbMATH Keywords

minor of functionmultisorted functionmultisorted operationreflection

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Operations and polynomials in algebraic structures, primal algebras (08A40) Heterogeneous algebras (08A68)

Review text

The Galois theory for minor-closed sets of functions developed by \textit{N. Pippenger} [Discrete Math. 254, No. 1--3, 405--419 (2002; Zbl 1010.06012)] is extended to multisorted functions in the sense of \textit{W. Wechler} [Universal algebra for computer scientists. Berlin etc.: Springer-Verlag (1992; Zbl 0748.68002)]. While most of the existing theory translates easily, some multisorted peculiarities require special attention, in particular with regard to reflections in the sense of \textit{L. Barto} et al. [Isr. J. Math. 223, 363--398 (2018; Zbl 1397.08002)].

Recommendations

• ON A CONSTRUCTION OF MANY-SORTED STRUCTURES
• On many-sorted algebraic closure operators
• scientific article; zbMATH DE number 4049132
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• Reflection-closed varieties of multisorted algebras and minor identities
• Sorting multisets stably in minimum space
• Sorting multisets stably in minimum space
• Operators of equivalent sorting power and related Wilf-equivalences
• Operators of equivalent sorting power and related Wilf-equivalences
• scientific article; zbMATH DE number 3918620

Cites work

• Function Algebras on Finite Sets
• Galois theory for minors of finite functions
• scientific article; zbMATH DE number 3650557 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 2149937 (Why is no real title available?)
• Minor posets of functions as quotients of partition lattices
• On closed sets of relational constraints and classes of functions closed under variable substitutions
• Reflection-closed varieties of multisorted algebras and minor identities
• The wonderland of reflections

Cited in

(8)

• Galois theory for minors of finite functions
• Reflections and powers of multisorted minions
• On closed sets of relational constraints and classes of functions closed under variable substitutions
• scientific article; zbMATH DE number 475610 (Why is no real title available?)
• Operators of equivalent sorting power and related Wilf-equivalences
• \(S\)-preclones and the Galois connection \(^S\mathrm{Pol} - {^S\mathrm{Inv}}\). I.
• Multisorted Boolean clones determined by binary relations up to minion homomorphisms
• Aggregation of evaluations without unanimity

This page was built for publication: Reflections on and of minor-closed classes of multisorted operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991603)