Currently displaying 1 – 7 of 7

Showing per page

Order by Relevance | Title | Year of publication

Transferral of entailment in duality theory: dualisability

Maria Joao GouveiaMiroslav Haviar — 2011

Czechoslovak Mathematical Journal

A number of new results that say how to transfer the entailment relation between two different finite generators of a quasi-variety of algebras is presented. As their consequence, a well-known result saying that dualisability of a quasi-variety is independent of the generating algebra is derived. The transferral of endodualisability is also considered and the results are illustrated by examples.

Transferral of entailment in duality theory II: strong dualisability

Maria João GouveiaMiroslav Haviar — 2011

Czechoslovak Mathematical Journal

Results saying how to transfer the entailment in certain minimal and maximal ways and how to transfer strong dualisability between two different finite generators of a quasi-variety of algebras are presented. A new proof for a well-known result in the theory of natural dualities which says that strong dualisability of a quasi-variety is independent of the generating algebra is derived.

Triple Constructions of Decomposable MS-Algebras

Abd El-Mohsen BadawyDaniela GuffováMiroslav Haviar — 2012

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

A simple triple construction of principal MS-algebras is given which is parallel to the construction of principal p -algebras from principal triples presented by the third author in [Haviar, M.: Construction and affine completeness of principal p-algebras Tatra Mountains Math. 5 (1995), 217–228.]. It is shown that there exists a one-to-one correspondence between principal MS-algebras and principal MS-triples. Further, a triple construction of a class of decomposable MS-algebras that includes the...

Page 1

Download Results (CSV)