{"id":"arxiv/2607.09069","url":"https://arxiv.org/abs/2607.09069","tags":["math.LO","math.CO"],"score":0,"title":"Reducing stable forking dependence to finitely many pregeometries","domain":"math.LO","source":"arxiv","authors":["Scott Mutchnik"],"reviews":0,"subject":"math.LO","summary":"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 many pregeometries in each rank. This case of the stable forking conjecture has long had an implicitly well-known pregeometric interpretation: there is a set of matroids $\\mathcal{G}_{n}$ such that the forking instability in rank $n$ is equivalent to the pregeometry on some rank-one partial type (over a finite set) embedding a matroid in $\\mathcal{G}_{n}$. Our contribution is to show that this set of matroids…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-10","reactions":{}}