Elementary recursive and primitive recursive functions

  • J. Donald Monk
Part of the Graduate Texts in Mathematics book series (GTM, volume 37)


To show that many number-theoretic functions are Turing computable, it is convenient to distinguish some functions by closure conditions.


Elementary Function Effective Function Recursive Function Finite Sequence Recursive Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Grzegorczyk, A. Some classes of recursive functions. Rozprawy Matematyczne, 4 (1953).Google Scholar
  2. 2.
    Péter, R. Recursive Funktionen. Berlin: Akademie-Verlag (1957).Google Scholar

Copyright information

© Springer-Verlag Inc. 1976

Authors and Affiliations

  • J. Donald Monk
    • 1
  1. 1.Department of MathematicsUniversity of ColoradoBoulderUSA

Personalised recommendations