A characterization of quasivarieties of partial algebras by means of limits and products.
Page 1 Next
Sheremet, M.S. (2004)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Ayala-Rincón, Mauricio (1997)
Revista Colombiana de Matemáticas
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir (2002)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
We show that the validity of Parikh’s theorem for context-free languages depends only on a few equational properties of least pre-fixed points. Moreover, we exhibit an infinite basis of -term equations of continuous commutative idempotent semirings.
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir (2010)
RAIRO - Theoretical Informatics and Applications
We show that the validity of Parikh's theorem for context-free languages depends only on a few equational properties of least pre-fixed points. Moreover, we exhibit an infinite basis of μ-term equations of continuous commutative idempotent semirings.
Grzegorz Jarzembski (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Pierpaolo Degano, Patrizia Gianni (1989)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Josep M. Font, Gonzalo Rodríguez Pérez (1992)
Publicacions Matemàtiques
In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same...
Alomo Temgoua, Etienne R., Tonga, Marcel (2007)
Beiträge zur Algebra und Geometrie
Temgoua, Etienne R.Alomo, Tonga, Marcel (2005)
International Journal of Mathematics and Mathematical Sciences
Paweł M. Idziak, Matthew Valeriote (2001)
Fundamenta Mathematicae
It is shown that in a finitely decidable equational class, the solvable radical of any finite subdirectly irreducible member is comparable to all congruences of the irreducible if the type of the monolith is 2. In the type 1 case we establish that the centralizer of the monolith is strongly solvable.
B. Węglorz (1970)
Colloquium Mathematicae
Phillips, J. D., Petr Vojtěchovský (2008)
Commentationes Mathematicae Universitatis Carolinae
Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain ``group-like'' equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only...
William H. Cornish (1981)
Commentationes Mathematicae Universitatis Carolinae
Jung R. Cho, Józef Dudek (2002)
Colloquium Mathematicae
In [7] and [8], two sets of regular identities without finite proper models were introduced. In this paper we show that deleting one identity from any of these sets, we obtain a set of regular identities whose models include all affine spaces over GF(p) for prime numbers p ≥ 5. Moreover, we prove that this set characterizes affine spaces over GF(5) in the sense that each proper model of these regular identities has at least 13 ternary term functions and the number 13 is attained if and only if the...
Stephen L. Bloom, Zoltán Ésik (2004)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.
Stephen L. Bloom, Zoltán Ésik (2010)
RAIRO - Theoretical Informatics and Applications
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.
Reiterman, Jan (1980)
Abstracta. 8th Winter School on Abstract Analysis
Celakoska-Jordanova, Vesna (2010)
Mathematica Balkanica New Series
AMS Subj. Classification: 03C05, 08B20Free algebras are very important in studying classes of algebras, especially varieties of algebras. Any algebra that belongs to a given variety of algebras can be characterized as a homomorphic image of a free algebra of that variety. Describing free algebras is an important task that can be quite complicated, since there is no general method to resolve this problem. The aim of this work is to investigate classes of groupoids, i.e. algebras with one binary operation,...
Rosický, J. (1981)
Abstracta. 9th Winter School on Abstract Analysis
Ivan Chajda, Antonio Ledda, Francesco Paoli (2014)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
In universal algebra, we oftentimes encounter varieties that are not especially well-behaved from any point of view, but are such that all their members have a “well-behaved core”, i.e. subalgebras or quotients with satisfactory properties. Of special interest is the case in which this “core” is a retract determined by an idempotent endomorphism that is uniformly term definable (through a unary term ) in every member of the given variety. Here, we try to give a unified account of this phenomenon....
Page 1 Next