DARBOUX PROPERTY AND PRIMITIVE RECURSIVE FUNCTIONS

被引：0

作者：

CALUDE, C ^{[1
]}

机构：

[1] UNIV BUCHAREST,FAC MATH,BUCHAREST,ROMANIA

来源：

REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES | 1981年 / 26卷 / 09期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1187 / 1192

页数：6

共 50 条

[21] HIERARCHIES OF ONE ARGUMENT PRIMITIVE RECURSIVE FUNCTIONS
GEORGIEVA, N
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1976, 29 (07): : 919 - 922
[22] COMPARING HIERARCHIES OF PRIMITIVE RECURSIVE SEQUENCE FUNCTIONS
FACHINI, E
MAGGIOLOSCHETTINI, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (05): : 431 - 445
[23] EQUIVALENCE OF SOME HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
HARROW, K
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (05): : 411 - 418
[24] Plain bases for classes of primitive recursive functions
Mazzanti, S
MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (01) : 93 - 104
[25] Term rewriting theory for the primitive recursive functions
Cichon, EA
Weiermann, A
ANNALS OF PURE AND APPLIED LOGIC, 1997, 83 (03) : 199 - 223
[26] PRIMITIVE RECURSIVE ORDINAL FUNCTIONS WITH ADDED CONSTANTS
STAHL, SH
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 77 - 82
[27] HIERARCHY ON CLASS OF PRIMITIVE RECURSIVE ORDINAL FUNCTIONS
STAHL, SH
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1976, 28 (06): : 1205 - 1209
[28] Definitional schemes for primitive recursive and computable functions
Nielsen, Pace P.
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2022, 11 (01): : 1 - 8
[29] Darboux property of Gâteaux derivatives of functions on ℝn
M. Csörnyei
P. Holický
Acta Mathematica Hungarica, 2008, 120 : 209 - 234
[30] A TYPICAL PROPERTY OF BAIRE-1 DARBOUX FUNCTIONS
EVANS, MJ
HUMKE, PD
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1986, 98 (03) : 441 - 447

← 1 2 3 4 5 →