Solution of the identity problem for integral exponential functions

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (16)

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)

This page was built for publication: Solution of the identity problem for integral exponential functions