{"id":"arxiv/2604.03477","url":"https://arxiv.org/abs/2604.03477","tags":["math.LO"],"score":0,"title":"Towards Trans-Exponential O-minimal Expansion of $(\\mathbb{R},+,\\cdot, 0, 1 <)$","domain":"math.LO","source":"arxiv","authors":["Yayi Fu"],"reviews":0,"subject":"math.LO","summary":"We add an analytic trans-exponential function $\\varphi$ to $\\mathbb{R}_{an,\\exp}$. We reduce the o-minimality of $\\mathbb{R}_{an,\\exp,\\varphi}$ to the existence of \"many\" regular values for some definable systems of functions, which is a necessary condition for the o-minimality of $\\mathbb{R}_{an,\\exp,\\varphi}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-03","reactions":{}}