The theory of nonabelian free groups has no model companion
arXiv:2609.24333
Abstract
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
arXiv:2609.24333
We prove that the first-order theory of nonabelian free groups does not admit a model companion.