This article is cited in 1 paper

Part 3. Mathematical models

$ \Lambda$-expressions for primitive recursive functions in the Grzegorczyk hierarchy

A. Yu. Konovalov

Lomonosov Moscow State University

Abstract: In this paper we consider $\Lambda$-expressions constructed from universal functions for functional classes of the Grzegorczyk hierarchy. We will find a sufficient condition such that a given $\Lambda$-expression determines a primitive recursive function from some level of the Grzegorczyk hierarchy.

Keywords: Grzegorczyk hierarchy, primitive recursive functions, strictly primitive recursive realizability.