{"id":"arxiv/2609.24333","url":"https://arxiv.org/abs/2609.24333","tags":["math.LO","math.GR"],"score":0,"title":"The theory of nonabelian free groups has no model companion","domain":"math.LO","source":"arxiv","authors":["Olga Kharlampovich","Rizos Sklinos"],"reviews":0,"subject":"math.LO","summary":"We prove that the first-order theory of nonabelian free groups does not admit a model companion.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}