Graphs realised by r.e. equivalence relations

被引:18
|
作者
Gavruskin, Alexander [1 ]
Jain, Sanjay [2 ]
Khoussainov, Bakhadyr [1 ]
Stephan, Frank [3 ]
机构
[1] Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
[2] Natl Univ Singapore, Sch Comp, Singapore 117417, Singapore
[3] Natl Univ Singapore, Dept Math, Singapore 119076, Singapore
关键词
Recursively enumerable equivalence relation; Recursively enumerable structure; m-reducibility; C-reducibility; ALGEBRAS;
D O I
10.1016/j.apal.2014.04.001
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on omega. In particular we compare r.e, equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism types of some of these partial orders. (c) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:1263 / 1290
页数:28
相关论文
共 50 条