Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-24T14:10:01.623Z Has data issue: false hasContentIssue false
  • English
  • Français

Some undecidable problems involving elementary functions of a real variable

Published online by Cambridge University Press:  12 March 2014

Daniel Richardson
Get access Rights & Permissions [Opens in a new window]

Extract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 33 , Issue 4 , January 1969 , pp. 514 - 520
Copyright
Copyright © Association for Symbolic Logic 1969

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Davis, M., Putnam, H., and Robinson, J., The decision problem for exponential Diophantine equations, Annals of Mathematics, vol. 74 (1961), pp. 425–436.CrossRefGoogle Scholar