bn:00847576n
Noun Concept
SYL
No term available
EN
In model theory, Tarski's exponential function problem asks whether the theory of the real numbers together with the exponential function is decidable. Wikipedia
Relations
Sources