The theory of nonabelian free groups has no model companion
Olga Kharlampovich, Rizos Sklinos
math.LOarXiv:2609.24333
Abstract
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
Create a lesson
Related papers
Compactness beyond choice and HOD
Jonathan Osinski
Finite Spectra of Syllogistic Logic with Cardinality Comparisons
Ruiting Jiang
Infinitary provability logic
Mojtaba Mojtahedi, Fedor Pakhomov, Giovanni Soldà
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
Justus Becker
Uniform generalization of Goodstein's theorem and Cichon's independence proof
Gunnar Wilken
Forking and invariant types in monadic NIP theories
Michael C. Laskowski