Computably and punctually universal spaces

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:	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
格式:	Article
語言:	English
出版:	2024
主題:	Mathematical Sciences Universal spaces Computable Polish space
在線閱讀:	https://hdl.handle.net/10356/180629
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Nanyang Technological University
語言:	English

相似書籍

A Simpler Proof for the ϵ-δ Characterization of Baire Class One Functions
由: Cabral, Emmanuel A, et al.
出版: (2015)

Punctual categoricity and universality
由: Downey, Rod, et al.
出版: (2022)

A structure of punctual dimension two
由: Melnikov, Alexander, et al.
出版: (2021)

Compliant motion using a mobile manipulator: An operational space formulation approach to aircraft canopy polishing
由: Jamisola Jr., R.S., et al.
出版: (2014)

A framework for planning academic library spaces
由: Choy, Fatt Cheong, et al.
出版: (2016)

Theorems of convex subgroups of semifields and vector spaces over semifields
由: Sirichan Pahupongsab
出版: (2007)

Korenblum constants for some function spaces
由: Wee, Junjie, et al.
出版: (2021)

Instances of Queerness in the Philippines: An Exploration of the Production of Gender in the Online and Offline Spaces of Queer Filipinos
由: Tan, Mark Remington
出版: (2022)

Instances of Queerness in the Philippines: An Exploration of the Production of Gender in the Online and Offline Spaces of Queer Filipinos
由: Tan, Mark Remington
出版: (2022)

The classification problem for nonatomic weak Lp spaces
由: Leung, D.H., et al.
出版: (2014)

"How can I be safe?": Examining students’ experiences and advocating safe spaces in the university
由: Asiatico, Ma. Dinah Espartero, et al.
出版: (2021)

Functorial homotopy decompositions of looped co-H spaces
由: Selick, P., et al.
出版: (2014)

Applications of algebraic topology to configuration spaces
由: SUN QIANG
出版: (2011)

Fourier multipliers on power-weighted Hardy spaces
由: Quek, T.S.
出版: (2014)

Development of fixed abrasive chemical mechanical polishing process for glass disk substrates
由: Tian, Ye Bing, et al.
出版: (2016)

Towards a global city: Emerging arts spaces in Singapore
由: TAN KENG LING, SERENE
出版: (2010)

Decompositions of looped co-H-spaces
由: Grbić, J., et al.
出版: (2014)

Personal space violation of supermarket shoppers in the Makati area
由: Aguirre, Susana, et al.
出版: (1981)

Thinking outside the box: A critical analysis on the outer space treaty and the S.P.A.C.E. Act of 2015 for future proposals and use; with a minor discussion on property rights in space
由: Aguilar, Leonardo Julian G., et al.
出版: (2017)

Calderón-Zygmund-Type Operators on Weighted Weak Hardy Spaces over ℝn
由: Quek, T., et al.
出版: (2014)

Some remarks and examples on domain of sums of series in banach spaces
由: Dau, The Cap, et al.
出版: (2017)

Isomorphic classification of weak Lp spaces
由: RUDY SABARUDIN
出版: (2010)

Designing virtual spaces for optimal wayfinding
由: Danial Hafiz Bin Muhammed Nafis
出版: (2024)

PERSONALIZING SPACE : A STUDY OF IMPLICATIONS ON DOMESTIC SPACE IN LOW COST SOCIAL HOUSING IN THE PHILIPPINES
由: TAN TIANG SOON
出版: (2011)

A compactness criterion for Hilbert space operators
由: Estalilla, Aliento V.
出版: (1988)

TEMPERATURE DISTRIBUTION IN NATURALLY VENTILATED SPACES
由: NATHALIE TAN XUAN RU
出版: (2023)

Gateways of physical spaces in context-aware computing
由: Xue, W., et al.
出版: (2013)

Space Exploration 2008
由: Harland, David M., et al.
出版: (2017)

Continuous space-time crystal state driven by nonreciprocal optical forces
由: Raskatla, V., et al.
出版: (2024)

Space-time nonseparable pulses : constructing isodiffracting donut pulses from plane waves and single-cycle pulses
由: Zdagkas, Apostolos, et al.
出版: (2021)

A case for EU space militarization, European Space Agency (ESA)-- European Union (EU) integration and the use of space technology for military purposes
由: Apsay, Krizza Angeli, et al.
出版: (2008)

SPACE PLANNING AND MANAGEMENT IN TERTIARY EDUCATIONAL INSTITUTION
由: KUAN HAN YUE
出版: (2012)

Convolution operators on Lorentz spaces over locally compact Vilenkin groups
由: Quek, T.S.
出版: (2014)

Image-based detection and tracking of resident space objects for situational awareness
由: Zhang, Rangya
出版: (2024)

Path components of the space of (weighted) composition operators on Bergman spaces
由: Abanin, Alexander V., et al.
出版: (2022)

Observation of resilient propagation and free-space skyrmions in toroidal electromagnetic pulses
由: Wang, Ren, et al.
出版: (2024)

[DEAF]INITIONS : A GEOGRAPHICAL EXPLORATION OF DEAFNESS IN SINGAPORE
由: TEO JUIN EE
出版: (2020)

OPTIMAL SPACE MIX MODEL
由: GWEE SU KHIM
出版: (2020)

Buildings and Spaces: Are they Relevant in the Virtual Environment?
由: Cribb, Gulcin
出版: (2014)

The Story of the Blue Chair: Designer/Librarian Journey
由: CRIBB, Gulcin, et al.
出版: (2019)