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)

Comparing notions of presentability in Polish spaces and Polish groups. - Sapir Ben-Shahar; Heer Tern Koh (Ann. Pure Appl. Log., 2025)

Computable Topological Groups. - Heer Tern Koh; Alexander G. Melnikov; Keng Meng Ng (J. Symb. Log., 2025)

A discrete linear order with non-dense punctual degrees. - Kai Jun Khoo; Heer Tern Koh; Keng Meng Ng (Theor. Comput. Sci., 2025)