Derived algebraic systems
From MaRDI portal
closure operatorscoequivalence relational systemsconjugate pairsderived algebraic systemshypersubstitutionpartial clonequantifier-free formulassolid model classessuperposition of relationstree languages
Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Relational systems, laws of composition (08A02) Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40) Axiomatic model classes (08C10)
Recommendations
Cited in
(13)- Deterministic and non-deterministic hypersubstitutions for algebraic systems.
- Some varieties of algebraic systems of type ((n),(m))
- scientific article; zbMATH DE number 1406434 (Why is no real title available?)
- All idempotent and regular elements in the monoid of generalized hypersubstitutions for algebraic systems of type (2; 2)
- The order of linear relational hypersubstitutions for algebraic systems
- Linear-hypersubstitutions for algebraic systems of type \(((n); (n))\) and characterization of their idempotent elements
- Full formulas induced by full terms
- All unit-regular elements of relational hypersubstitutions for algebraic systems
- REGULARITY OF RELATIONAL HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS
- Characterization of some regular relational hypersubstitutions for algebraic systems
- All maximal unit-regular elements of Relhyp((m),(n))
- A new concept of non-deterministic hypersubstitutions for algebraic systems
- Representations of structural closure operators
This page was built for publication: Derived algebraic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403681)