First-order formulae are concise in acylindrically hyperbolic groups and other classes including Burnside, ICC, and torus knot groups, with results on finiteness of definable sets.
de Cornulier,Infinite conjugacy classes in groups acting on trees, Groups Geom
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.GR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Concise formulae in groups of non-positive curvature
First-order formulae are concise in acylindrically hyperbolic groups and other classes including Burnside, ICC, and torus knot groups, with results on finiteness of definable sets.