In this paper it is proved that there does not exist a function for the language of positive and generalized conditional terms that behaves the same as the discriminator for the language of conditional terms.
Department of Algebra and Mathematical Logic, Novosibirsk State Technical University, Novosibirsk, Russia
Bibliografia
[1] A.G. Pinus, On conditional terms and identities on universal algebras, Siberian Advances in Math. 8 (1998), 96-109.
[2] A.G. Pinus, The calculas of conditional identities and conditionally rational equivalence (in Russian), Algebra i Logika (English transl.: Algebra and Logic) 37 (1998), 432-459.
[4] A.G. Pinus, Conditional terms and its applications, Algebra Proceedings of the Kurosh Conference, Walter de Gruyter, Berlin-New York 2000, 291-300.
[5] A.G. Pinus, The inner homomorphisms and positive conditinal terms, (in Russian), Algebra i Logika, to appear.