{"id":"arxiv/2604.06144","url":"https://arxiv.org/abs/2604.06144","tags":["math.LO","math.AG","math.NT"],"score":0,"title":"Analytically generated sharply o-minimal structures","domain":"math.LO","source":"arxiv","authors":["Oded Carmon"],"reviews":0,"subject":"math.LO","summary":"We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially effective parameterization theorem using real complex cells for real sets definable in such structures. Following Binyamini--Novikov, this allows us to establish a polynomially effective version of the Yomdin--Gromov lemma on C^r-smooth parameterizations of definable sets, which implies Wilkie's conjecture on polylogarithmic bounds for the amount of algebraic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}