Galois theory for semiclones

被引：0
|
作者：
Mike Behrisch
机构：
[1] Technische Universität Wien,Institut für Computersprachen, (currently at Institut für Diskrete Mathematik und Geometrie)
来源：
Algebra universalis | 2016年 / 76卷
关键词：
Primary: 08A40; Secondary: 08A02; 08A99; iterative algebra; semiclone; relation pair clone; Galois theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We present a Galois theory connecting finitary operations with pairs of finitary relations, one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative function algebra (semiclones) and relation pair clones, respectively. Moreover, we describe the modified closure operators if only functions and relation pairs of a certain bounded arity, respectively, are considered.
引用
收藏
页码：385 / 413
页数：28
相关论文
共 50 条
12345