|
This article is cited in 4 scientific papers (total in 4 papers)
Mathematical logic, algebra and number theory
Computable metrics above the standard real metric
R. A. Kornev Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia
Abstract:
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.
Keywords:
computable metric space, representation of real numbers, Cauchy representation, reducibility of representations, computable analysis.
Received August 6, 2019, published April 13, 2021
Citation:
R. A. Kornev, “Computable metrics above the standard real metric”, Sib. Èlektron. Mat. Izv., 18:1 (2021), 377–392
Linking options:
https://www.mathnet.ru/eng/semr1368 https://www.mathnet.ru/eng/semr/v18/i1/p377
|
Statistics & downloads: |
Abstract page: | 162 | Full-text PDF : | 76 | References: | 18 |
|