Some undecidable problems involving elementary functions of a real variable
- 1 January 1969
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 33 (4), 514-520
- https://doi.org/10.2307/2271358
Abstract
Let E be a set of expressions representing real, single valued, partially defined functions of one real variable. E* will be the set of functions represented by expressions in E.If A is an expression in E, A(x) is the function denoted by A.It is assumed that E* contains the identity function and the rational numbers as constant functions and that E* is closed under addition, subtraction, multiplication and composition.Keywords
This publication has 1 reference indexed in Scilit:
- The Decision Problem for Exponential Diophantine EquationsAnnals of Mathematics, 1961