Solution of the identity problem for integral exponential functions
From MaRDI portal
Publication:5582336
DOI10.1002/malq.19690152003zbMath0188.32802OpenAlexW2160414745MaRDI QIDQ5582336
No author found.
Publication date: 1969
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19690152003
Related Items
On almost monotonic real functions, ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS, Undecidability and incompleteness in classical mechanics, POWER CIRCUITS, EXPONENTIAL ALGEBRA, AND TIME COMPLEXITY, Skolem + Tetration Is Well-Ordered, A notion of mechanistic theory, Polynomial functions with exponentiation are well ordered, A structure theorem for the elementary functions and its application to the identity problem, An ordinal bound for the set of polynomial functions with exponentiation, An initial segment of the set of polynomial functions with exponentiation, Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations, Decision problems for differential equations, Non-standard analysis in dynamic geometry, Growth estimates for exp-log functions, Which data types have \(\omega\)-complete initial algebra specifications?, Some results about exponential fields (survey)
