A Semilattice of Degrees of Computable Metrics Научная публикация
Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
---|---|---|---|
Вых. Данные | Год: 2021, Том: 62, Номер: 5, Страницы: 822-841 Страниц : 20 DOI: 10.1134/S0037446621050050 | ||
Ключевые слова | 510.5; Cauchy representation; computable analysis; computable metric space; reducibility of representations | ||
Авторы |
|
||
Организации |
|
Информация о финансировании (1)
1 |
Министерство науки и высшего образования РФ Математический центр в Академгородке |
075-15-2019-1613, 075-15-2022-281 |
Реферат:
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 isa computable limit point in $ (X,\rho) $; it is possible to construct a computablemetric $ \rho^{\prime}<_{c}\rho $. Under the same assumption, there exists a computablemetric $ \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.
Библиографическая ссылка:
Kornev R.A.
A Semilattice of Degrees of Computable Metrics
Siberian Mathematical Journal. 2021. V.62. N5. P.822-841. DOI: 10.1134/S0037446621050050 WOS Scopus OpenAlex
A Semilattice of Degrees of Computable Metrics
Siberian Mathematical Journal. 2021. V.62. N5. P.822-841. DOI: 10.1134/S0037446621050050 WOS Scopus OpenAlex
Оригинальная:
Корнев Р.А.
Полурешетка степеней вычислимых метрик
Сибирский математический журнал. 2021. Т.62. №5. С.1013-1038. DOI: 10.33048/smzh.2021.62.505 OpenAlex
Полурешетка степеней вычислимых метрик
Сибирский математический журнал. 2021. Т.62. №5. С.1013-1038. DOI: 10.33048/smzh.2021.62.505 OpenAlex
Идентификаторы БД:
Web of science: | WOS:000698762500005 |
Scopus: | 2-s2.0-85115613924 |
OpenAlex: | W3204270394 |