Computably and punctually universal spaces. - Ramil Bagaviev; Ilnur I. Batyrshin; Nikolay Bazhenov 001; Dmitry Bushtets; Marina Dorzhieva; Heer Tern Koh; Ruslan Kornev; Alexander G. Melnikov; Keng Meng Ng (Ann. Pure Appl. Log., 2025)