Simple and immune relations on countable structures

被引：0
|
作者：
Sergei. S. Goncharov
Valentina. S. Harizanov
Julia. F. Knight
Charles F. D. McCoy
机构：
[1] Academy of Sciences,
[2] Siberian Branch,undefined
[3] Mathematical Institute,undefined
[4] 630090 Novosibirsk,undefined
[5] Russia. e-mail: gonchar@math.nsc.ru,undefined
[6] Department of Mathematics,undefined
[7] The George Washington University,undefined
[8] Washington,undefined
[9] D.C. 20052,undefined
[10] USA. e-mail: harizanv@gwu.edu,undefined
[11] Department of Mathematics,undefined
[12] University of Notre Dame,undefined
[13] Notre Dame,undefined
[14] IN 46556,undefined
[15] USA. e-mail: julia.f.knight.1@nd.edu,undefined
[16] Department of Mathematics,undefined
[17] University of Wisconsin,undefined
[18] Madison,undefined
[19] Madison,undefined
[20] WI 53706,undefined
[21] USA. e-mail: mccoy@math.wisc.edu,undefined
来源：
Archive for Mathematical Logic | 2003年 / 42卷
关键词：
Computable Structure; Effectiveness Condition; Countable Structure; Immune Relation; Computable Copy;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
 Let 𝒜 be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy ℬ of 𝒜 in which the image of R (¬R, resp.) is simple (immune, resp.) relative to ℬ. We also establish, under certain effectiveness conditions on 𝒜 and R, a necessary and sufficient condition for the existence of a computable copy ℬ of 𝒜 in which the image of R (¬R, resp.) is simple (immune, resp.).
引用
收藏
页码：279 / 291
页数：12
相关论文
共 50 条
12345