Computably and punctually universal spaces
We prove that the standard computable presentation of the space C[0,1] of continuous real-valued functions on the unit interval is computably and punctually (primitively recursively) universal. From the perspective of modern computability theory, this settles a problem raised by Sierpiński in the 19...
Saved in:
Main Authors: | , , , , , , , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
2024
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/180629 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
id |
sg-ntu-dr.10356-180629 |
---|---|
record_format |
dspace |
spelling |
sg-ntu-dr.10356-1806292024-10-15T07:08:27Z Computably and punctually universal spaces Bagaviev, Ramil Batyrshin, Ilnur I. Bazhenov, Nikolay Bushtets, Dmitry Dorzhieva, Marina Koh, Heer Tern Kornev, Ruslan Melnikov, Alexander G. Ng, Keng Meng School of Physical and Mathematical Sciences Mathematical Sciences Universal spaces Computable Polish space We prove that the standard computable presentation of the space C[0,1] of continuous real-valued functions on the unit interval is computably and punctually (primitively recursively) universal. From the perspective of modern computability theory, this settles a problem raised by Sierpiński in the 1940s. We prove that the original Urysohn's construction of the universal separable Polish space U is punctually universal. We also show that effectively compact, punctual Stone spaces are punctually homeomorphically embeddable into Cantor space 2ω; note that we do not require effective compactness be primitive recursive. We also prove that effective compactness cannot be dropped from the premises by constructing a counterexample. Ministry of Education (MOE) The work of R. Bagaviev and I.I. Batyrshin is performed under the development program of Volga Region Mathematical Center (agreement No. 075-02-2024-1438). N. Bazhenov and R. Kornev were supported by the Mathematical Center in Akademgorodok under the agreement No. 075-15- 2022-282 with the Ministry of Science and Higher Education of the Russian Federation. M. Dorzhieva was supported by Rutherford Discovery Fellowship (RDF-VUW1902) of A.G. Melnikov. K.M. Ng was supported by the Ministry of Education, Singapore, under its Academic Research Fund Tier 1 (RG23/19). A. Melnikov was supported by Rutherford Discovery Fellowship (Wellington) RDF-VUW1902, Royal Society Te Aparangi. 2024-10-15T07:08:26Z 2024-10-15T07:08:26Z 2025 Journal Article Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M. (2025). Computably and punctually universal spaces. Annals of Pure and Applied Logic, 176(1), 103491-. https://dx.doi.org/10.1016/j.apal.2024.103491 0168-0072 https://hdl.handle.net/10356/180629 10.1016/j.apal.2024.103491 2-s2.0-85200913507 1 176 103491 en RG23/19 Annals of Pure and Applied Logic © 2024 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies. |
institution |
Nanyang Technological University |
building |
NTU Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NTU Library |
collection |
DR-NTU |
language |
English |
topic |
Mathematical Sciences Universal spaces Computable Polish space |
spellingShingle |
Mathematical Sciences Universal spaces Computable Polish space Bagaviev, Ramil Batyrshin, Ilnur I. Bazhenov, Nikolay Bushtets, Dmitry Dorzhieva, Marina Koh, Heer Tern Kornev, Ruslan Melnikov, Alexander G. Ng, Keng Meng Computably and punctually universal spaces |
description |
We prove that the standard computable presentation of the space C[0,1] of continuous real-valued functions on the unit interval is computably and punctually (primitively recursively) universal. From the perspective of modern computability theory, this settles a problem raised by Sierpiński in the 1940s. We prove that the original Urysohn's construction of the universal separable Polish space U is punctually universal. We also show that effectively compact, punctual Stone spaces are punctually homeomorphically embeddable into Cantor space 2ω; note that we do not require effective compactness be primitive recursive. We also prove that effective compactness cannot be dropped from the premises by constructing a counterexample. |
author2 |
School of Physical and Mathematical Sciences |
author_facet |
School of Physical and Mathematical Sciences Bagaviev, Ramil Batyrshin, Ilnur I. Bazhenov, Nikolay Bushtets, Dmitry Dorzhieva, Marina Koh, Heer Tern Kornev, Ruslan Melnikov, Alexander G. Ng, Keng Meng |
format |
Article |
author |
Bagaviev, Ramil Batyrshin, Ilnur I. Bazhenov, Nikolay Bushtets, Dmitry Dorzhieva, Marina Koh, Heer Tern Kornev, Ruslan Melnikov, Alexander G. Ng, Keng Meng |
author_sort |
Bagaviev, Ramil |
title |
Computably and punctually universal spaces |
title_short |
Computably and punctually universal spaces |
title_full |
Computably and punctually universal spaces |
title_fullStr |
Computably and punctually universal spaces |
title_full_unstemmed |
Computably and punctually universal spaces |
title_sort |
computably and punctually universal spaces |
publishDate |
2024 |
url |
https://hdl.handle.net/10356/180629 |
_version_ |
1814777714633080832 |