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 条

[11] On automorphism groups of countable structures
Su, G
JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (03) : 891 - 896
[12] ON COUNTABLE LOCALLY DESCRIBED STRUCTURES
MAIER, BJ
ANNALS OF PURE AND APPLIED LOGIC, 1987, 35 (03) : 205 - 246
[13] SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
Alvir, Rachael
Greenberg, Noam
Harrison-Trainor, Matthew
Turetsky, Dan
JOURNAL OF SYMBOLIC LOGIC, 2021, 86 (04) : 1706 - 1720
[14] Isomorphism and classification for countable structures
Miller, Russell
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019, 8 (02): : 99 - 117
[15] On symmetric indivisibility of countable structures
Hasson, Assaf
Kojman, Menachem
Onshuus, Alf
MODEL THEORETIC METHODS IN FINITE COMBINATORICS, 2011, 558 : 417 - +
[16] IDENTIFIABLE COLLECTIONS OF COUNTABLE STRUCTURES
OSHERSON, DN
WEINSTEIN, S
PHILOSOPHY OF SCIENCE, 1989, 56 (01) : 94 - 105
[17] COUNTABLE STRUCTURES OF GIVEN AGE
MACPHERSON, HD
POUZET, M
WOODROW, RE
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 992 - 1010
[18] Simple groups and the number of countable models
Predrag Tanović
Archive for Mathematical Logic, 2013, 52 : 779 - 791
[19] VARIETIES WITH A SIMPLE COUNTABLE EMBEDDABILITY SKELETON
PINUS, AG
SIBERIAN MATHEMATICAL JOURNAL, 1990, 31 (01) : 109 - 114
[20] Simple groups and the number of countable models
Tanovic, Predrag
ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (7-8): : 779 - 791

← 1 2 3 4 5 →