Characteristic Properties of Majorant-Computability Over the Reals

  • M. V. Korovina
  • O. V. Kudinov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1584)


Characteristic properties of majorant-computable real-valued functions are studied. A formal theory of computability over the reals which satisfies the requirements of numerical analysis used in Computer Science is constructed on the base of the definition of majorant-computability proposed in [13]. A model-theoretical characterization of majorant-computability real-valued functions and their domains is investigated. A theorem which connects the graph of a majorant-computable function with validity of a finite formula on the set of hereditarily finite sets on \({\bar{\mathbb{R} }}\), \({\rm\bf HF}({\bar{\mathbb{R} }})\) (where \({\bar{\mathbb{R} }}\) is a proper elementary enlargement of the standard reals) is proven. A comparative analysis of the definition of majorant-computability and the notions of computability earlier proposed by Blum et al., Edalat, Sünderhauf, Pour-El and Richards, Stoltenberg-Hansen and Tucker is given. Examples of majorant-computable real-valued functions are presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barwise, J.: Admissible sets and structures. Springer, Berlin (1975)zbMATHGoogle Scholar
  2. 2.
    Bochnak, J., Coster, M., Roy, M.-F.: Géometrie algébrique réelle. Springer, Heidelberg (1987)zbMATHGoogle Scholar
  3. 3.
    Bitsadze, A.V.: The bases of analytic function theory of complex variables, Nauka, Moskow (1972)Google Scholar
  4. 4.
    Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the reals: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc. (N.S.) 21(1), 1–46 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    van den Dries, L.: Remarks on Tarski’s problem concerning (IR,+, ∗, exp). In: Proc. Logic Colloquium 1982, pp. 240–266 (1984)Google Scholar
  6. 6.
    Edalat, A., Sünderhauf, P.: A domain-theoretic approach to computability on the real line. Theoretical Computer Science (to appear)Google Scholar
  7. 7.
    Ershov, Y.L.: Definability and computability. Plenum, New York (1996)Google Scholar
  8. 8.
    Freedman, H., Ko, K.: Computational complexity of real functions. Theoret. Comput. Sci. 20, 323–352 (1982)CrossRefMathSciNetGoogle Scholar
  9. 9.
    Grzegorczyk, A.: On the definitions of computable real continuous functions. Fund. Math. 44, 61–71 (1957)zbMATHMathSciNetGoogle Scholar
  10. 10.
    Jacobson, N.: Basic Algebra, vol. II. Freedman and Company, New York (1995)Google Scholar
  11. 11.
    Korovina, M.: Generalized computability of real functions. Siberian Advance of Mathematics 2(4), 1–18 (1992)MathSciNetGoogle Scholar
  12. 12.
    Korovina, M.: About an universal recursive function and abstract machines on the list superstructure over the reals. Vychislitel’nye Sistemy, Novosibirsk 156, 3–20 (1996)zbMATHMathSciNetGoogle Scholar
  13. 13.
    Korovina, M., Kudinov, O.: A New Approach to Computability over the Reals. SibAM 8(3), 59–73 (1998)zbMATHMathSciNetGoogle Scholar
  14. 14.
    Montague, R.: Recursion theory as a branch of model theory. In: Proc. of the third international congr. on Logic, Methodology and the Philos. of Sc., Amsterdam, pp. 63–86 (1968)Google Scholar
  15. 15.
    Moschovakis, Y.N.: Abstract first order computability. Trans. Amer. Math. Soc. 138, 427–464 (1969)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1988)Google Scholar
  17. 17.
    Robinson, A.: Nonstandard Analysis. Studies in Logic and foundation of Mathematics. North-Holland, Amsterdam (1966)Google Scholar
  18. 18.
    Scott, D.: Outline of a mathematical theory of computation. In: 4th Annual Princeton Conference on Information Sciences and Systems, pp. 169–176 (1970)Google Scholar
  19. 19.
    Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. Handbook of Logic in computer Science, vol. 4, pp. 375–526. Clarendon Press, Oxford (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • M. V. Korovina
    • 1
  • O. V. Kudinov
    • 2
  1. 1.Insitute of Informatics SystemsNovosibirskRussia
  2. 2.Institute of MathematicsNovosibirskRussia

Personalised recommendations