Results 1  10
of
14,006
Many sorted algebras
 Journal of Formalized Mathematics
, 1994
"... Summary. The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between ..."
Abstract

Cited by 123 (14 self)
 Add to MetaCart
Summary. The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between
Equations in many sorted algebras
 Journal of Formalized Mathematics
, 1997
"... Summary. This paper is preparation to prove Birkhoff’s Theorem. Some properties of many sorted algebras are proved. The last section of this work shows that every equation valid in a many sorted algebra is also valid in each subalgebra, and each image of it. Moreover for a family of many sorted alge ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Summary. This paper is preparation to prove Birkhoff’s Theorem. Some properties of many sorted algebras are proved. The last section of this work shows that every equation valid in a many sorted algebra is also valid in each subalgebra, and each image of it. Moreover for a family of many sorted
Equations in Many Sorted Algebras
, 2003
"... This paper is preparation to prove Birkhoff's Theorem. Some properties of many sorted algebras are proved. The last section of this work shows that every equation valid in a many sorted algebra is also valid in each subalgebra, and each image of it. Moreover for a family of many sorted algeb ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
This paper is preparation to prove Birkhoff's Theorem. Some properties of many sorted algebras are proved. The last section of this work shows that every equation valid in a many sorted algebra is also valid in each subalgebra, and each image of it. Moreover for a family of many sorted
Inverse Limits of Many Sorted Algebras
 Journal of Formalized Mathematics
, 1999
"... This article introduces the construction of an inverse limit of many sorted algebras. A few preliminary notions such as an ordered family of many sorted algebras and a binding of family are formulated. Definitions of a set of many sorted signatures and a set of signature morphisms are also given. MM ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
This article introduces the construction of an inverse limit of many sorted algebras. A few preliminary notions such as an ordered family of many sorted algebras and a binding of family are formulated. Definitions of a set of many sorted signatures and a set of signature morphisms are also given
Birkhoff Theorem for Many Sorted Algebras
, 1999
"... In this article Birkhoff Variety Theorem for Many Sorted Algebras is proved. A class of algebras is represented by predicate P . Notation P [A], where A is an algebra, means that A is in class P . All algebras in our class are many sorted over many sorted signature S. The sentences: ..."
Abstract
 Add to MetaCart
In this article Birkhoff Variety Theorem for Many Sorted Algebras is proved. A class of algebras is represented by predicate P . Notation P [A], where A is an algebra, means that A is in class P . All algebras in our class are many sorted over many sorted signature S. The sentences:
On manysorted algebraic closure operators
 Mathematische Nachrichten
"... Abstract. A theorem of BirkhoffFrink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the operator that constructs the subalgebra generated by a subset. However, for manysorted sets, i.e., indexed families of sets, such a theorem ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Abstract. A theorem of BirkhoffFrink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the operator that constructs the subalgebra generated by a subset. However, for manysorted sets, i.e., indexed families of sets, such a
On the Trivial Many Sorted Algebras and Many Sorted Congruences
"... This paper contains properties of many sorted functions between two many sorted sets. Other theorems describe trivial many sorted algebras. In the last section there are theorems about many sorted congruences, which are defined on many sorted algebras. I have also proved facts about natural epimo ..."
Abstract
 Add to MetaCart
This paper contains properties of many sorted functions between two many sorted sets. Other theorems describe trivial many sorted algebras. In the last section there are theorems about many sorted congruences, which are defined on many sorted algebras. I have also proved facts about natural
Birkhoff Theorem for Many Sorted Algebras
"... this article Birkhoff Variety Theorem for many sorted algebras is proved. A class of algebras is represented by predicate P. Notation P[A], where A is an algebra, means that A is in class P. All algebras in our class are many sorted over many sorted signature S. The properties of varieties: ffl a c ..."
Abstract
 Add to MetaCart
this article Birkhoff Variety Theorem for many sorted algebras is proved. A class of algebras is represented by predicate P. Notation P[A], where A is an algebra, means that A is in class P. All algebras in our class are many sorted over many sorted signature S. The properties of varieties: ffl a
On the Trivial Many Sorted Algebras and Many Sorted Congruences
"... Summary. This paper contains properties of many sorted functions between two many sorted sets. Other theorems describe trivial many sorted algebras. In the last section there are theorems about many sorted congruences, which are defined on many sorted algebras. I have also proved facts about natural ..."
Abstract
 Add to MetaCart
Summary. This paper contains properties of many sorted functions between two many sorted sets. Other theorems describe trivial many sorted algebras. In the last section there are theorems about many sorted congruences, which are defined on many sorted algebras. I have also proved facts about
Results 1  10
of
14,006