A counterexample to the stable forking conjecture
James Freitag, Scott Mutchnik
math.LOarXiv:2609.00436
Abstract
Using ChatGPT 5.6, we find a counterexample to the stable forking conjecture. This answers a long-standing open question of Hart, Kim and Pillay (1996).
Create a lesson
Related papers
Every Nonrecursive Many-One Degree Contains Either One or Infinitely Many Finite-One Degrees
Patrizio Cintioli
Most properties are undecidable even in NExt Grzt
Qian Chen, Tenyo Takahashi
The Iterative Conception Reconsidered
Bokai Yao
Classification complexity of homeomorphism group actions
Michal Hevessy, Benjamin Vejnar
A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC
Mateus Jesus de Arruda Campos, Gabriel Fernandes, Vinicius de Oliveira Rodrigues
Fixed points in abstract provability structures
Tsubasa Kumasaka, Taishi Kurahashi