RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2021, том 18, выпуск 1, страницы 377–392 (Mi semr1368)

Эта публикация цитируется в 4 статьях

Математическая логика, алгебра и теория чисел

Computable metrics above the standard real metric

R. A. Kornev

Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia

Аннотация: We construct a sequence of computable real metrics pairwise incomparable under weak reducibility $\leq_{ch}$ and located above the standard real metric w. r. t. computable reducibility $\leq_c$. Iterating the construction, we obtain that the ordering $(P(\omega),\subseteq)$ of subsets of $\omega$ is embeddable into the ordering of $ch$-degrees of real metrics above the standard metric. It is also proved that the countable atomless Boolean algebra is embeddable with preservation of joins and meets into the ordering of $c$-degrees of computable real metrics.

Ключевые слова: computable metric space, representation of real numbers, Cauchy representation, reducibility of representations, computable analysis.

УДК: 510.5

MSC: 03F60

Поступила 6 августа 2019 г., опубликована 13 апреля 2021 г.

Язык публикации: английский

DOI: 10.33048/semi.2021.18.027



Реферативные базы данных:


© МИАН, 2024