Scifaro

中文

$\cap$-变换半群的半邻接关系

环与代数 2015-01-27 v2

作者: Wieslaw A. Dudek , Valentin s. Trokhimenko

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们考虑了给定集合的偏函数 $\cap$ -半群上的两个关系：定义域的包含关系与半邻接性（即第一个函数的像包含于第二个函数的定义域中），并使用初等公理系统（即系统条件）从抽象观点对其进行了刻画，该系统条件是用带等号的狭谓词演算语言记录的。

关键词

$\cap$-半群偏函数半邻接性定义域包含公理系统谓词演算

引用

@article{arxiv.0903.4872,
  title  = {The relation of semiadjacency of $\cap$-semigroups of transformations},
  author = {Wieslaw A. Dudek and Valentin s. Trokhimenko},
  journal= {arXiv preprint arXiv:0903.4872},
  year   = {2015}
}