Geodesic
Hypersatisfaction of formulas in agebraic systems
Discussiones Mathematicae. General Algebra and Applications, Tome 29 (2009) no. 2, pp. 123-151

Voir la notice de l'article provenant de la source Library of Science

In [2] the theory of hyperidentities and solid varieties was extended to algebraic systems and solid model classes of algebraic systems. The disadvantage of this approach is that it needs the concept of a formula system. In this paper we present a different approach which is based on the concept of a relational clone. The main result is a characterization of solid model classes of algebraic systems. The results will be applied to study the properties of the monoid of all hypersubstitutions of an ordered algebra.
Keywords: algebraic system, formula, relational clone, hyperformula 
@article{DMGAA_2009_29_2_a2,
     author = {Denecke, Klaus and Phusanga, Dara},
     title = {Hypersatisfaction of formulas in agebraic systems},
     journal = {Discussiones Mathematicae. General Algebra and Applications},
     pages = {123--151},
     publisher = {mathdoc},
     volume = {29},
     number = {2},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DMGAA_2009_29_2_a2/}
}
TY  - JOUR
AU  - Denecke, Klaus
AU  - Phusanga, Dara
TI  - Hypersatisfaction of formulas in agebraic systems
JO  - Discussiones Mathematicae. General Algebra and Applications
PY  - 2009
SP  - 123
EP  - 151
VL  - 29
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DMGAA_2009_29_2_a2/
LA  - en
ID  - DMGAA_2009_29_2_a2
ER  - 
%0 Journal Article
%A Denecke, Klaus
%A Phusanga, Dara
%T Hypersatisfaction of formulas in agebraic systems
%J Discussiones Mathematicae. General Algebra and Applications
%D 2009
%P 123-151
%V 29
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DMGAA_2009_29_2_a2/
%G en
%F DMGAA_2009_29_2_a2
Denecke, Klaus; Phusanga, Dara. Hypersatisfaction of formulas in agebraic systems. Discussiones Mathematicae. General Algebra and Applications, Tome 29 (2009) no. 2, pp. 123-151. http://geodesic.mathdoc.fr/item/DMGAA_2009_29_2_a2/