|
This article is cited in 3 scientific papers (total in 3 papers)
A semilattice of degrees of computable metrics
R. A. Kornev Sobolev Institute of Mathematics, Novosibirsk, Russia
Abstract:
Under study is the ordering $\mathcal{{CM}}_c(\mathbf{X})$ of $c$-degrees of computable metrics on a Polish space $\mathbf{X}$ with a distinguished dense subset. We prove that this ordering forms a lower semilattice. If, for a computable metric $\rho$ on $\mathbf{X}$, there is a computable limit point in $(X,\rho)$; it is possible to construct a computable metric $\rho'<_c\rho$. Under the same assumption, there exists a computable metric $\widehat{\rho}$ such that $\deg_c(\rho)$ and $\deg_c(\widehat{\rho})$ have no common upper bounds in $\mathcal{{CM}}_c(\mathbf{X})$; thus, in this case $\mathcal{{CM}}_c(\mathbf{X})$ is neither an updirected poset nor an upper semilattice.
Keywords:
computable metric space, Cauchy representation, reducibility of representations, computable analysis.
Received: 02.06.2021 Revised: 02.06.2021 Accepted: 11.06.2021
Citation:
R. A. Kornev, “A semilattice of degrees of computable metrics”, Sibirsk. Mat. Zh., 62:5 (2021), 1013–1038; Siberian Math. J., 62:5 (2021), 822–841
Linking options:
https://www.mathnet.ru/eng/smj7611 https://www.mathnet.ru/eng/smj/v62/i5/p1013
|
|