Year: 2026
Type: preprint
Abstract: We prove that the first-order theory of nonabelian free groups does not admit a model companion.
Source: arXiv (Cornell University)
Authors: Kharlampovich, Olga, Sklinos, Rizos
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G3103103726
OpenAlex ID: W7214005406