|
Diskretnyi Analiz i Issledovanie Operatsii, 2009, Volume 16, Issue 2, Pages 42–60
(Mi da567)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
The class of Skolem elementary functions
S. A. Volkov Lomonosov Moscow State University, Moscow, Russia
Abstract:
In this paper, we consider different equivalent definitions of the class of Skolem elementary functions (these definitions are analogous to the well-known definitions of the Kalmar elementary function class) and some results concerned with this class which are obtained by different mathematicians. Some definitions of this class were investigated by mathematicians independently. In this paper we prove equivalence of these definitions. Also, we study the problem on existence of superposition bases for this class. We prove that this problem is equivalent to one problem from complexity theory. Bibl. 26.
Keywords:
classification of recursive functions, computational complexity.
Received: 24.10.2008
Citation:
S. A. Volkov, “The class of Skolem elementary functions”, Diskretn. Anal. Issled. Oper., 16:2 (2009), 42–60; J. Appl. Industr. Math., 4:4 (2010), 588–599
Linking options:
https://www.mathnet.ru/eng/da567 https://www.mathnet.ru/eng/da/v16/i2/p42
|
Statistics & downloads: |
Abstract page: | 441 | Full-text PDF : | 143 | References: | 47 | First page: | 7 |
|