N. S. Romanovskiy, “On Elementary Theory of Completion of Solvable Baumslag–Solitar Group”, Dokl. Math., 2024
Richard Mandel, Alexander Ushakov, “Quadratic equations in metabelian Baumslag–Solitar groups”, Int. J. Algebra Comput., 33:06 (2023), 1195
Nir Avni, Chen Meiri, “On the model theory of higher rank arithmetic groups”, Duke Math. J., 172:13 (2023)
V. A. Roman'kov, “Algorithmic theory of solvable groups”, ПДМ, 2021, № 52, 16–64
Matthias Aschenbrenner, Anatole Khélif, Eudes Naziazeno, Thomas Scanlon, “The Logical Complexity of Finitely Generated Commutative Rings”, International Mathematics Research Notices, 2020:1 (2020), 112
Е. И. Тимошенко, “О теориях относительно свободных разрешимых групп с дополнительным предикатом”, Алгебра и логика, 57:4 (2018), 456–475 ; E. I. Timoshenko, “Theories of relatively free solvable groups with extra predicate”, Algebra and Logic, 57:4 (2018), 295–308
Tuna Altinel, Alexey Muranov, “Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle”, JMJ, 2009, 1