错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Elementary Theory of Completion of Solvable Baumslag–Solitar Group

  • N. S. Romanovskiy

摘要

Abstract

We define a divisible completion of the solvable Baumslag-Solitar group \(BS(1,n)\) and prove that under certain restrictions on n the elementary theory of this completion is decidable.