James Freitag

collaborators

Showing math.LOShow all

2 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.LO2024

Simple Homogeneous Structures and Indiscernible Sequence Invariants

John Baldwin, James Freitag, Scott Mutchnik

We introduce some properties describing dependence in indiscernible sequences: $F_{in d}$ and its dual $F_{M b}$ , the definable Morley property, and $n$ -resolvability. Applying these…