{"id":"arxiv/2609.05711","url":"https://arxiv.org/abs/2609.05711","tags":["math.LO","math.GR"],"score":0,"title":"A counterexample to Petrykowski's conjecture","domain":"math.LO","source":"arxiv","authors":["Artem Chernikov"],"reviews":0,"subject":"math.LO","summary":"We construct a simple expansion of the theory of nonabelian free groups in which the group admits a global type with bounded left-translation orbit but is not definably amenable. This extends the construction of Chernikov, Hrushovski, Kruckman, Krupiński, Moconja, Pillay, and Ramsey, and gives a counterexample to Petrykowski's conjecture.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}