The relation of so-called Ihm-quasiorder (defining a closure operator on subsets of direct powers of basic sets of universal algebras) with the such derived structures of these algebras as a lattices its algebraic subsets, lattices of its subalgebras, semigroups of its innere homomorphisms.We introduce the notion of 1-algebraic complete algebras and prove that for any least countinual algebra of countable signature exists its 1-algebraic complete extebsion of the same power as the algebr
We extend some results of Ginsburg and Spanier [S. Ginsburg & E.H. Spanier, On incomparable Abstract...
As the candidates supervisor, I have approved this dissertation for submission Signed: Name: Date: W...
AbstractA general completeness criterion for the finite product ∏P(ki) of full partial clones P(ki) ...
In this work we study the notions of structural and universal completeness both from the algebraic a...
36 pages, extended abstract appears in LICS 2005 proceedingsInternational audienceA $\mu$-algebra is...
We investigate the extent to which the study of quasimultipliers can be made beyond Banach algebras....
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...
Following work of Palasinska and Pigozzi on partially ordered varieties and quasi-varieties of unive...
variety and quasivariety of first-order structures as generalizations of the corresponding concepts ...
This paper investigates profinite completions of residually finite algebras, drawing on ideas from t...
I prove a characterization theorem for algebraic bounded complete cpos similar to that for algebraic...
Summary. The concept of characterizing of partial algebras by many sorted signature is introduced, i...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories...
Two special types of algebraic (or compactly generated) lattices -- called A1- and A2-lattice -- are...
summary:For an algebraic structure $\A=(A,F,R)$ or type $\t$ and a set $\Sigma$ of open formulas of ...
We extend some results of Ginsburg and Spanier [S. Ginsburg & E.H. Spanier, On incomparable Abstract...
As the candidates supervisor, I have approved this dissertation for submission Signed: Name: Date: W...
AbstractA general completeness criterion for the finite product ∏P(ki) of full partial clones P(ki) ...
In this work we study the notions of structural and universal completeness both from the algebraic a...
36 pages, extended abstract appears in LICS 2005 proceedingsInternational audienceA $\mu$-algebra is...
We investigate the extent to which the study of quasimultipliers can be made beyond Banach algebras....
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...
Following work of Palasinska and Pigozzi on partially ordered varieties and quasi-varieties of unive...
variety and quasivariety of first-order structures as generalizations of the corresponding concepts ...
This paper investigates profinite completions of residually finite algebras, drawing on ideas from t...
I prove a characterization theorem for algebraic bounded complete cpos similar to that for algebraic...
Summary. The concept of characterizing of partial algebras by many sorted signature is introduced, i...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories...
Two special types of algebraic (or compactly generated) lattices -- called A1- and A2-lattice -- are...
summary:For an algebraic structure $\A=(A,F,R)$ or type $\t$ and a set $\Sigma$ of open formulas of ...
We extend some results of Ginsburg and Spanier [S. Ginsburg & E.H. Spanier, On incomparable Abstract...
As the candidates supervisor, I have approved this dissertation for submission Signed: Name: Date: W...
AbstractA general completeness criterion for the finite product ∏P(ki) of full partial clones P(ki) ...