Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng Computability of Polish spaces up to homeomorphism. (English) Zbl 1473.03025 J. Symb. Log. 85, No. 4, 1664-1686 (2020). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D78 03D45 03C57 PDFBibTeX XMLCite \textit{M. Harrison-Trainor} et al., J. Symb. Log. 85, No. 4, 1664--1686 (2020; Zbl 1473.03025) Full Text: DOI
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng Automatic and polynomial-time algebraic structures. (English) Zbl 1454.03042 J. Symb. Log. 84, No. 4, 1630-1669 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D05 03D20 03D45 03D80 68Q45 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., J. Symb. Log. 84, No. 4, 1630--1669 (2019; Zbl 1454.03042) Full Text: DOI Link