1. Computable Structures and the Hyperarithmetical Hierarchy;Ash,2000
2. Weak theories of nonstandard arithmetic and analysis;Avigad,2005
3. Abelian groups without elements of finite order;Baer;Duke Math. J.,1937
4. Ramil Bagaviev, Ilnur Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander Melnikov, Keng Meng Ng, Computably and punctually universal spaces, 2022, submitted for publication.
5. Foundations of online structure theory;Bazhenov;Bull. Symb. Log.,2019