Some undecidable problems involving elementary functions of a real variable , volume =

Richardson, Daniel , year = · DOI 10.2307/2271358

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

math.LO · 2026-05-02 · unverdicted · novelty 6.0

In the Exp-Minus-Log system every expressible number is computable and Chaitin's Ω_U is inexpressible.

Showing 1 of 1 citing paper.

Inexpressibility in Exp-Minus-Log math.LO · 2026-05-02 · unverdicted · none · ref 6
In the Exp-Minus-Log system every expressible number is computable and Chaitin's Ω_U is inexpressible.