{"id":"arxiv/2605.01636","url":"https://arxiv.org/abs/2605.01636","tags":["math.LO","cs.LO"],"score":0,"title":"Inexpressibility in Exp-Minus-Log","domain":"math.LO","source":"arxiv","authors":["Mark Carney"],"reviews":0,"subject":"math.LO","summary":"Odrzywołek defined a system Exp-Minus-Log (EML) that reduces all elementary functions over complex numbers down to a constant `$1$', and a single two place function $E(α, β) = \\exp(α) - \\log(β)$. This paper shows that in this system, equivalent to Chow's EL numbers, every EML-expressible number is computable. We go on to prove that the canonical example of a non-computable real, Chaitin's $Ω_U$, is inexpressible in EML. This gives a formal inexpressibility theorem for this system.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-02","reactions":{}}