Bootstrapping the primitive recursive functions by only 27 colors

被引：0
|
作者：
Riis, S
机构：
[1] UNIV OXFORD,OXFORD OX1 2JD,ENGLAND
[2] AARHUS UNIV,BRICS,AARHUS,DENMARK
来源：
DISCRETE MATHEMATICS | 1997年 / 169卷 / 1-3期
关键词：
D O I：
10.1016/S0012-365X(97)87041-0
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
A coloring of the 3-element subsets of N with 27 colors is given such that if {S-0, S-1, S-2,...,S-r} (r greater than or equal to s(0) - 1) is homogeneous, then F-infinity(s(i)) < s(i+1) (i < tau) where F-omega is an Ackermann-like function.
引用
收藏
页码：269 / 272
页数：4
相关论文
共 50 条
  • [1] PRIMITIVE RECURSIVE FUNCTIONS
    ROBINSON, RM
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1947, 53 (10) : 925 - 942
  • [2] PRIMITIVE RECURSIVE FUNCTIONS
    ROBINSON, RM
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (09) : 811 - 812
  • [3] HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
    PARSONS, C
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (04): : 357 - &
  • [4] UNARY PRIMITIVE RECURSIVE FUNCTIONS
    Severin, Daniel E.
    JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1122 - 1138
  • [5] PRIMITIVE RECURSIVE RAMIFICATION FUNCTIONS
    PAIR, C
    QUERE, A
    ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1970, 21 (3-4): : 437 - &
  • [6] EXTENDED PRIMITIVE RECURSIVE FUNCTIONS
    MENTRASTI, P
    PROTASI, M
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (01): : 73 - 84
  • [7] UNIVERSAL SEQUENCES OF PRIMITIVE RECURSIVE FUNCTIONS
    CALUDE, C
    TATARAM, M
    REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1983, 28 (05): : 381 - 389
  • [8] A MACRO PROGRAM FOR THE PRIMITIVE RECURSIVE FUNCTIONS
    LEVITZ, H
    NICHOLS, W
    SMITH, RF
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 121 - 124
  • [9] DARBOUX PROPERTY AND PRIMITIVE RECURSIVE FUNCTIONS
    CALUDE, C
    REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1981, 26 (09): : 1187 - 1192
  • [10] A Class of Reversible Primitive Recursive Functions
    Paolini, Luca
    Piccolo, Mauro
    Roversi, Luca
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 322 : 227 - 242
12345