PreprintarXiv licencearXiv
The theory of nonabelian free groups has no model companion
Abstract
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
Related
- Co-intersection graphs of nonabelian finite simple groups have diameter two
- On 2-Arc-Transitive Cayley Graphs of Nonabelian Characteristically Simple Groups
- Higher Gauge Theory via Differential Nonabelian Cohomology
- Anomalies, higher symmetries, and homotopy theory I: crossed precosheaves and a nonabelian Cech construction
- Existence of a Model Companion for Groups of Exponent 3
BibTeX
@misc{kharlampovich2026theory,
title = {{The theory of nonabelian free groups has no model companion}},
author = {Olga Kharlampovich and Rizos Sklinos},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24333},
eprint = {2609.24333},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24333},
}
RIS
TY - UNPB
TI - The theory of nonabelian free groups has no model companion
AU - Olga Kharlampovich
AU - Rizos Sklinos
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24333
UR - https://arxiv.org/abs/2609.24333
AB - We prove that the first-order theory of nonabelian free groups does not admit a model companion.
ER -