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 条

[31] Countable structures with a fixed group of automorphisms
Camerlo, R
Kechris, AS
ISRAEL JOURNAL OF MATHEMATICS, 2000, 117 (1) : 105 - 124
[32] Coloring finite substructures of countable structures
Sauer, N
PAUL ERDOS AND HIS MATHEMATICS II, 2002, 11 : 525 - 553
[33] INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
Ackerman, Nathanael
Freer, Cameron
Patel, Rehana
FORUM OF MATHEMATICS SIGMA, 2016, 4
[34] On Evaluations of Propositional Formulas in Countable Structures
Perovic, Aleksandar
Doder, Dragan
Ognjanovic, Zoran
Raskovic, Miodrag
FILOMAT, 2016, 30 (01) : 1 - 13
[35] Countable structures with a fixed group of automorphisms
Riccardo Camerlo
Alexander S. Kechris
Israel Journal of Mathematics, 2000, 117 : 105 - 124
[36] COUNTABLE STRUCTURES FOR UNCOUNTABLE INFINITARY LANGUAGES
MOTOHASH.N
PROCEEDINGS OF THE JAPAN ACADEMY, 1972, 48 (10): : 716 - 718
[37] The relation of recursive isomorphism for countable structures
Camerlo, R
JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (02) : 879 - 895
[38] THE STRUCTURE OF RANDOM AUTOMORPHISMS OF COUNTABLE STRUCTURES
Darji, Udayan B.
Elekes, Marton
Kalina, Kende
Kiss, Viktor
Vidnyanszky, Zoltan
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2019, 371 (12) : 8829 - 8848
[39] Enumerations, countable structures and turing degrees
Wehner, S
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1998, 126 (07) : 2131 - 2139
[40] Countable unions of simple sets in the core model
Welch, PD
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 293 - 312

← 1 2 3 4 5 →