2 citations · 2 across the 8 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
math.LO2026
A counterexample to the stable forking conjecture
James Freitag, Scott Mutchnik
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).
math.LO2026
Reducing stable forking dependence to finitely many pregeometries
Scott Mutchnik
We show that one of the main cases of the stable forking conjecture, stability of the forking relation over a base in a finite-rank supersimple theory, is determined by finitely ma…
math.LO2026
Some applications of the real strict order property hierarchy
Scott Mutchnik
We give applications of the properties for non-integer values of to problems on the original hierarchy for integer values of . We fir…