Premium
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Author(s) -
Voutsadakis George
Publication year - 2007
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200610034
Subject(s) - mathematics , lemma (botany) , categorical variable , algebraic number , functor , reduction (mathematics) , algebra over a field , operator (biology) , diagram , algebraic theory , algebraic structure , category theory , pure mathematics , mathematical analysis , ecology , biochemistry , statistics , chemistry , gene , transcription factor , biology , geometry , poaceae , repressor
The study of structure systems, an abstraction of the concept of first‐order structures, is continued. Structure systems have algebraic systems as their algebraic reducts and their relational component consists of a collection of relation systems on the underlying functors. An analog of the expansion of a first‐order structure by constants is presented. Furthermore, analogs of the Diagram Lemma and the Reduction Operator Lemma from the theory of equality‐free first‐order structures are provided in the framework of structure systems. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)