The theory of nonabelian free groups has no model companion
Olga Kharlampovich, Rizos Sklinos
Preprint
En palabras de los autores
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
Resultado principalEl resumen no menciona limitaciones.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Más de Otra matemática ese día
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
PreprintFácil de leerCIC + 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
PreprintCódigo disponibleCounterexamples 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
PreprintFácil de leerA 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