Interpretation theory using the metabelian Baumslag–Solitar group BS(1,k) as an example Доклады на конференциях
| Язык | Английский | ||
|---|---|---|---|
| Тип доклада | Пленарный | ||
| Url доклада | https://stevens.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=9d7690f3-f84c-4685-a01e-b2f40148febe | ||
| Конференция |
Groups, logic, and Computation: Interactions between geometric group theory, model theory, and computer science 06-13 июн. 2025 , Hoboken, Stevens Institute of Technology |
||
| Авторы |
|
||
| Организации |
|
Реферат:
We will discuss various types of interpretations – absolute, parameterized, regular, invertible, and
bi-interpretations – and explore their respective properties and implications. To illustrate the theory, we consider interpretations between the ring of integers Z and the metabelian Baumslag–Solitar group BS(1, k) for k > 1.
Based on a joint work with A. Miasnikov.
Библиографическая ссылка:
Daniyarova E.
Interpretation theory using the metabelian Baumslag–Solitar group BS(1,k) as an example
Groups, logic, and Computation: Interactions between geometric group theory, model theory, and computer science 06-13 Jun 2025
Interpretation theory using the metabelian Baumslag–Solitar group BS(1,k) as an example
Groups, logic, and Computation: Interactions between geometric group theory, model theory, and computer science 06-13 Jun 2025