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...

Full description

Saved in:
Bibliographic Details
Main Authors: Bagaviev, Ramil, Batyrshin, Ilnur I., Bazhenov, Nikolay, Bushtets, Dmitry, Dorzhieva, Marina, Koh, Heer Tern, Kornev, Ruslan, Melnikov, Alexander G., Ng, Keng Meng
Other Authors: School of Physical and Mathematical Sciences
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