Many-sorted and single-sorted algebras

DOI10.1007/S00012-013-0224-5zbMATH Open1283.08008OpenAlexW2052254485WikidataQ59303231 ScholiaQ59303231MaRDI QIDQ353361FDOQ353361

Authors: Anna Mućka, Anna Romanowska, J. D. H. Smith 

Publication date: 12 July 2013

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

Full work available at URL: https://doi.org/10.1007/s00012-013-0224-5

Recommendations

• scientific article; zbMATH DE number 1166289
• Publication:3035356
• scientific article; zbMATH DE number 1120382
• Birkhoff's variety theorem in many sorts
• Many-sorted algebras in congruence modular varieties

zbMATH Keywords

diagonal algebraheterogeneous algebramany-sorted algebra

Mathematics Subject Classification ID

Heterogeneous algebras (08A68) Varieties (08B99)

Cites Work

• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Title not available (Why is that?)
• Heterogeneous algebras
• Title not available (Why is that?)
• The structure of decidable locally finite varieties
• Title not available (Why is that?)
• Subdirectly irreducible fibered automata. II
• Title not available (Why is that?)
• On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories
• Title not available (Why is that?)
• QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On many-sorted algebraic closure operators
• Continued Fractions, Fibered Automata, and a Theorem of Rosenberg
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems
• The lattice of varieties of fibered automata
• Remarks on diagonal and generalized diagonal algebras
• Title not available (Why is that?)
• Algebras with a Scheme of Operators

Cited In (10)

• Many-sorted elementary equivalence
• Algebras from congruences
• Title not available (Why is that?)
• A single-sorted theory of multisets
• Duality for quasipolytopes
• On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cayley theorems for Loday algebras
• Many-sorted algebras in congruence modular varieties

This page was built for publication: Many-sorted and single-sorted algebras

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