Not Finitely Definable Partial Clones on a Finite Set

被引：1
作者：
Romov, Boris A.
机构：
来源：
2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013) | 2013年
关键词：
Galois connection; invariant relation; extendable partial clone;
D O I：
10.1109/ISMVL.2013.41
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
. By establishing the relational theory of extendable partial clones on a finite set we describe infinite descending chains of partial clones whose intersection cannot be determined by a finite set of relations (we call them not finitely definable). A special type of such chains introduced in case of clones by I. Rosenberg (1972) as a generalization of two Post clones is investigated.
引用
收藏
页码：141 / 145
页数：5
相关论文
共 10 条
  • [1] [Anonymous], 1941, ANN MATH STUDIES
  • [2] Bodnarchuk V. G., 1969, Cybernetics, V5, P243, DOI 10.1007/BF01070906
  • [3] A survey on intersections of maximal partial clones of Boolean partial functions
    Couceiro, Miguel
    Haddad, Lucien
    [J]. 2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2012, : 287 - 292
  • [4] Maltsev A.I., 1971, METHAMATEMATICS ALGE, V5, p[396, 5]
  • [5] Extendable local partial clones
    Romov, B. A.
    [J]. DISCRETE MATHEMATICS, 2008, 308 (17) : 3744 - 3760
  • [6] Romov B.A., 1978, CYBERNETICS, V14
  • [7] ROMOV BA, 1987, CYBERNETICS+, V23, P319, DOI 10.1007/BF01074823
  • [8] THE ALGEBRAS OF PARTIAL FUNCTIONS AND THEIR INVARIANTS
    ROMOV, BA
    [J]. CYBERNETICS, 1981, 17 (02): : 157 - 167
  • [9] Rosenberg I., 1972, CRM169 U MONTR
  • [10] Rosenberg I., 1970, ROZPRAVY CESKOSLOVEN, V80, P1
1