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
• التنسيق: مقال
• اللغة: English
• منشور في: 2024
• الموضوعات: Mathematical Sciences; Universal spaces; Computable Polish space
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/180629
• المؤسسة: Nanyang Technological University

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