Arithmetic jet spaces and the unramified Zilber--Pink conjecture for subvarieties of abelian varieties

We show how the methods of delta geometry can be used to bound the degree of points in the Zilber–Pink locus of a subvariety of an abelian variety, if the varieties are defined over a number field and we restrict to points with bounded ramification at a fixed prime.