A generalization and a new proof of Plotkin's reduction theorem
From MaRDI portal
Publication:6473103
arXivmath/0309018MaRDI QIDQ6473103FDOQ6473103
Authors: Grigori I. Zhitomirski 
Publication date: 1 September 2003
Abstract: It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories containing two special objects and in this case its proof becomes considerable more simple. This new proof and applications are the subject of the present paper.
Automorphisms and endomorphisms of algebraic structures (08A35) Free algebras (08B20) General theory of categories and functors (18A99)
This page was built for publication: A generalization and a new proof of Plotkin's reduction theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6473103)
