Interpretation theory using the metabelian Baumslag–Solitar group BS(1,k) as an example Conference attendances
| Language | Английский | ||
|---|---|---|---|
| Participant type | Пленарный | ||
| URL | https://stevens.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=9d7690f3-f84c-4685-a01e-b2f40148febe | ||
| Conference |
Groups, logic, and Computation: Interactions between geometric group theory, model theory, and computer science 06-13 Jun 2025 , Hoboken, Stevens Institute of Technology |
||
| Authors |
|
||
| Affiliations |
|
Abstract:
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.
Cite:
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