bn:00847576n
Noun Concept
NL
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
IS A
NAMED AFTER