Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formula

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Hypersatisfaction of formulas in agebraic systems

100%

Denecke K., Phusanga D.

Discussiones Mathematicae - General Algebra and Applications

2009

tom 29

nr 2

123-151

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.

On Direct Limit Closed Classes of Algebras

75%

Halušková E.

Bulletin of the Section of Logic

2016

tom 45

nr 3/4

Axiomatic classes of algebras of a given type which are closed with respect to direct limits are studied in this paper.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Discussiones Mathematicae - General Algebra and Applications

1 Denecke K.

1 Halušková E.

1 Phusanga D.

1 2016

1 2009

Wyniki wyszukiwania

Hypersatisfaction of formulas in agebraic systems

On Direct Limit Closed Classes of Algebras