The theory of nonabelian free groups has no model companion
Olga Kharlampovich, Rizos Sklinos
Preprint
In the authors' words
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.
More on Other mathematics that day
Graduate Mathematics in the Age of AI: Forming Mathematicians for Original, Independent, and Responsible Inquiry
It distinguishes a work's contribution to mathematics from the evidence it provides of a student's formation; explains how a known answer can initiate rather than end creative inquiry; and proposes changes in learning activities, assessment, doctoral originality, advising, and institutional support.
Bacim Alali — arXiv
PreprintEasy to readCIC + EM ⊢ Con(ZF): the consistency of ZF in type theory with excluded middle and no choice
In the type theory of Lean with two predicative universes, from excluded middle as the only assumption and with no axiom (no choice, no propositional extensionality, no quotients), we prove the consistency of ZF, stated outright for a first-order proof system. The proof is formalized.
Mario Carneiro — arXiv
PreprintCode availableCounterexamples to Grad's conjecture
For each sufficiently large N, we construct smooth solutions of the magnetohydrostatic equations on embedded solid tori whose regular pressure levels are nested tori, whose magnetic field vanishes exactly on a round magnetic axis, and whose group of Euclidean symmetries, even when isometries reversing the sign of the field are admitted, is exactly the cyclic group CN of rotations through multiples of 2π/N.
Javier G\'omez-Serrano, Lukas Liehr, Mitchell A. Taylor — arXiv
PreprintTransforming Mathematics
I believe that the development of AI tools will lead to a transformation of mathematics, both professionally and culturally.
Benjamin Braun — arXiv
PreprintEasy to readA complete characterization of eventually entanglement breaking unital quantum channels
We obtain a complete characterization of eventually entanglement breaking (EEB) unital channels in terms of some simple commutation properties of their eigenvectors.
B. V. Rajarama Bhat, Pankaj Dey, Biswarup Saha — arXiv
Preprint