Skip to main content
×
×
Home

Some undecidable problems involving elementary functions of a real variable

  • Daniel Richardson
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.

Copyright
References
Hide All
[1]Davis, M., Putnam, H., and Robinson, J., The decision problem for exponential Diophantine equations, Annals of Mathematics, vol. 74 (1961), pp. 425436.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 11 *
Loading metrics...

Abstract views

Total abstract views: 398 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 14th August 2018. This data will be updated every 24 hours.