{"id":"arxiv/2609.20668","url":"https://arxiv.org/abs/2609.20668","tags":["math.LO","math.AG","math.NT"],"score":0,"title":"Logarithmic--exponential preparation in sharply o-minimal structures","domain":"math.LO","source":"arxiv","authors":["Gal Binyamini","Oded Carmon","Dmitry Novikov"],"reviews":0,"subject":"math.LO","summary":"We develop a complex-analytic approach to the model theory of the (real) unrestricted exponential. As a consequence we derive sharp forms of many of the foundational results for the structure ${\\mathbb R}^\\text{RE}_{\\exp}$ (and more general structures). In particular we establish sharp o-minimality, a sharp form of Wilkie's theorem of the complement, a sharp form of Wilkie's conjecture and a sharp form of piecewise definability by terms. Our approach is based on a complexification of the LE-preparation theorem of Lion--Rolin. We also develop a parallel complex theory for ${\\mathbb…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}