Universality for Left-Computably Enumerable Metric Spaces

被引：2

作者：

Gavruskin, A. ^{[1
]}

Nies, A. ^{[1
]}

机构：

[1] Univ Auckland, Dept Comp Sci, Private Bag 92019, Auckland, New Zealand

来源：

LOBACHEVSKII JOURNAL OF MATHEMATICS | 2014年 / 35卷 / 04期

关键词：

Polish metric space; left-c.e; real; left-c. e. metric spaces; universal object;

D O I：

10.1134/S1995080214040179

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

There exists a universal object in the class of left-computably enumerable (left-c.e.) metric spaces with diameter bounded by a constant under effective isometric embeddings. There is no such universal object in the class of all left-c.e. metric spaces.

引用

页码：292 / 294

页数：3

共 50 条

[41] Jumps of computably enumerable equivalence relations
Andrews, Uri
Sorbi, Andrea
ANNALS OF PURE AND APPLIED LOGIC, 2018, 169 (03) : 243 - 259
[42] On Dark Computably Enumerable Equivalence Relations
Bazhenov, N. A.
Kalmurzaev, B. S.
SIBERIAN MATHEMATICAL JOURNAL, 2018, 59 (01) : 22 - 30
[43] Computably enumerable algebras, their expansions, and isomorphisms
Khoussainov, B
Lempp, S
Slaman, TA
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2005, 15 (03) : 437 - 454
[44] THE NONLOW COMPUTABLY ENUMERABLE DEGREES ARE NOT INVARIANT IN ε
Epstein, Rachel
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2013, 365 (03) : 1305 - 1345
[45] Automorphism groups of computably enumerable predicates
Combarro E.F.
Algebra and Logic, 2002, 41 (5) : 285 - 294
[46] ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
Downey, Rodney G.
Jockusch, Carl G., Jr.
Schupp, Paul E.
JOURNAL OF MATHEMATICAL LOGIC, 2013, 13 (02)
[47] Definable encodings in the computably enumerable sets
Cholak, PA
Harrington, LA
BULLETIN OF SYMBOLIC LOGIC, 2000, 6 (02) : 185 - 196
[48] Almost computably enumerable families of sets
Kalimullin, I. Sh.
SBORNIK MATHEMATICS, 2008, 199 (9-10) : 1451 - 1458
[49] Isomorphisms of splits of computably enumerable sets
Cholak, PA
Harrington, LA
JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (03) : 1044 - 1064
[50] An interval of computably enumerable isolating degrees
Salts, MC
MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (01) : 59 - 72

← 1 2 3 4 5 →