Displaying similar documents to “On classes of algebraic systems closed with respect to quotients”

Solving Algebraic Equations Using Coalgebra

Federico De Marchi, Neil Ghani, Christoph Lüth (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely presentable ...

Algebraic objects over a small category

Józef Tabor

Similarity:

CONTENTSIntroduction.......................................................................................................... 5II. Quasi-transitive algebraic objects....................................................................... 12III. Rank of the quasi-transitivity of algebraic objects........................................... 22IV. Commutative algebraic objects.......................................................................... 25V. Regular algebraic objects........................................................................................

Hypersatisfaction of formulas in agebraic systems

Klaus Denecke, Dara Phusanga (2009)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

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...