Concise formulae in groups of non-positive curvature
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917467777925120 |
|---|---|
| author | Ciobanu, Laura Conte, Martina |
| author_facet | Ciobanu, Laura Conte, Martina |
| contents | We show that first-order formulae are concise in acylindrically hyperbolic groups and certain extensions thereof. We study further classes of groups, including Burnside groups, icc groups, groups with the `Big Powers' condition, torus knot groups and more, and prove conciseness for wide classes of formulae. We also explore properties of definable sets in these groups, such as their finiteness, depending on the type of formula considered. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_06023 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Concise formulae in groups of non-positive curvature Ciobanu, Laura Conte, Martina Group Theory Logic Primary 20A15, 20F10, Secondary 03C60, 20E45, 20F36, 20F67 We show that first-order formulae are concise in acylindrically hyperbolic groups and certain extensions thereof. We study further classes of groups, including Burnside groups, icc groups, groups with the `Big Powers' condition, torus knot groups and more, and prove conciseness for wide classes of formulae. We also explore properties of definable sets in these groups, such as their finiteness, depending on the type of formula considered. |
| title | Concise formulae in groups of non-positive curvature |
| topic | Group Theory Logic Primary 20A15, 20F10, Secondary 03C60, 20E45, 20F36, 20F67 |
| url | https://arxiv.org/abs/2605.06023 |