On the orbits of computably enumerable sets

被引：2

作者：

Cholak, Peter A. ^{[1
]}

Downey, Rodney ^{[2
]}

Harrington, Leo A. ^{[3
]}

机构：

[1] Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA

[2] Victoria Univ, Sch Math Stat & Comp Sci, Wellington, New Zealand

[3] Univ Calif Berkeley, Dept Math, Berkeley, CA 94720 USA

来源：

JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY | 2008年 / 21卷 / 04期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1090/S0894-0347-08-00604-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：1105 / 1135

页数：31

共 20 条

[1]

Ash CJ, 2000, COMPUTABLE STRUCTURE

[2] Some orbits for E [J].

Cholak, P ;

Downey, R ;

Herrmann, E .

ANNALS OF PURE AND APPLIED LOGIC, 2001, 107 (1-3) :193-226

[3]

CHOLAK P, 2006, COMPUTABLY ENUMERABL

[4] Isomorphisms of splits of computably enumerable sets [J].

Cholak, PA ;

Harrington, LA .

JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (03) :1044-1064

[5]

CHOLAK PETER, 2002, J MATH LOG, V2, P261

[6]

Cholak PA, 2008, T AM MATH SOC, V360, P1759

[7] AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS - ORBITS [J].

DOWNEY, RG ;

STOB, M .

ADVANCES IN MATHEMATICS, 1992, 92 (02) :237-265

[8] Π11 relations and paths through O [J].

Goncharov, SS ;

Harizanov, VS ;

Knight, JF ;

Shore, RA .

JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (02) :585-611

[9] The Delta(0)(3)-automorphism method and noninvariant classes of degrees [J].

Harrington, L ;

Soare, RI .

JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY, 1996, 9 (03) :617-666

[10] POSTS PROGRAM AND INCOMPLETE RECURSIVELY-ENUMERABLE SETS [J].

HARRINGTON, L ;

SOARE, RI .

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1991, 88 (22) :10242-10246

← 1 2 →