Computably and punctually universal spaces
DOI10.1016/j.apal.2024.103491MaRDI QIDQ6614035
Nikolay Bazhenov, R. A. Kornev, Ramil Bagaviev, Alexander G. Melnikov, Heer Tern Koh, Keng Meng Ng, Dmitry Bushtets, M. V. Dorzhieva, I. I. Batyrshin
Publication date: 7 October 2024
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
universal spacescomputable Polish spacecontinuous functions on the unit intervalprimitive recursive analysispunctual
Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78)
This page was built for publication: Computably and punctually universal spaces
