3 papers
math.LO2014
A "classification" of congruence primal arithmetical algebras
Shohei Izawa
We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algeb…
math.LO2013
Matrix product is many-sorted algebra
Shohei Izawa
It is known that a category of many-sorted algebras on pure sets of similarity type is "concretely equivalent" to a category of single-sorted algebras. In this paper, we characteri…
math.LO2013
Infinitary version of Pol-Inv Galois connection
Shohei Izawa
In this article, we prove infinitary version of one to one correspondence theorem between clones and relational clones on a fixed possibly infinite set. We also characterize the re…