{"id":"arxiv/2604.15189","url":"https://arxiv.org/abs/2604.15189","tags":["math.NT","math.AG","math.LO"],"score":0,"title":"Counting Theorems for Algebraic Relations","domain":"math.NT","source":"arxiv","authors":["Gal Binyamini","Noriko Hirata-Kohno","Makoto Kawashima","Yuval Salant"],"reviews":0,"subject":"math.NT","summary":"Let X be a set definable in a sharply o-minimal structure. We consider the problem of counting the number of points where X intersects algebraic varieties V over Q of dimension k < codim X, as a function of T := deg(V) + h(V), where h(V) is the log-height of V. In particular, we conjecture that after removing a suitable \"algebraic part\", this number grows polynomially in T -- a generalization of Wilkie's conjecture. We show that this full conjecture implies some open problems in algebraic independence theory. We also formulate a weaker conjecture stating that all intersections above are…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-16","reactions":{}}