|
Intelligent systems. Theory and applications, 2021, Volume 25, Issue 1, Pages 107–125
(Mi ista297)
|
|
|
|
This article is cited in 1 scientific paper (total 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.
Citation:
A. Yu. Konovalov, “$ \Lambda$-expressions for primitive recursive functions in the Grzegorczyk hierarchy”, Intelligent systems. Theory and applications, 25:1 (2021), 107–125
Linking options:
https://www.mathnet.ru/eng/ista297 https://www.mathnet.ru/eng/ista/v25/i1/p107
|
|