Abstract

The aim of this note is to give an example of application of model theory to the theory of logical matrices. . More precisely, we show that Wojtylak's representation theorem is an immediate consequence of a result due to Mal'cev . Throughout the present note we assume that matrices, and classes of matrices under consideration are of the same xed similarity type. Suppose that K is an arbitrary class of matrices, and M is a matrix . We say that M1 2 K is called a replica of M in the class K i there is a homomorphism h of M onto M1 such that for every homomorphism g of M into arbitrary N 2 K there exists a homomorphism f of M1 into N such that g = f h