AN UNPROVABLE RAMSEY-TYPE THEOREM

被引：12
|
作者：
LOEBL, M
NESETRIL, J
机构：
来源：
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1992年 / 116卷 / 03期
关键词：
D O I：
10.2307/2159452
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We present a new proof of the Paris-Harrington unprovable (in PA) version of Ramsey's theorem. This also yields a particularly short proof of the Ketonen-Solovay result on rapidly growing Ramsey functions.
引用
收藏
页码：819 / 824
页数：6
相关论文
共 50 条
  • [1] A Ramsey-type topological theorem
    Gerlits, J
    Szentmiklóssy, Z
    [J]. TOPOLOGY AND ITS APPLICATIONS, 2002, 125 (02) : 343 - 355
  • [2] Ramsey-type theorem for spatial graphs
    Negami, S
    [J]. GRAPHS AND COMBINATORICS, 1998, 14 (01) : 75 - 80
  • [3] A RAMSEY-TYPE THEOREM FOR TRACEABLE GRAPHS
    GALVIN, F
    RIVAL, I
    SANDS, B
    [J]. JOURNAL OF COMBINATORIAL THEORY SERIES B, 1982, 33 (01) : 7 - 16
  • [4] A generalization of a Ramsey-type theorem on hypermatchings
    Baginski, P
    [J]. JOURNAL OF GRAPH THEORY, 2005, 50 (02) : 142 - 149
  • [5] Ramsey-Type Theorem for Spatial Graphs
    Seiya Negami
    [J]. Graphs and Combinatorics, 1998, 14 : 75 - 80
  • [6] ON A RAMSEY-TYPE PROBLEM
    CHUNG, FRK
    [J]. JOURNAL OF GRAPH THEORY, 1983, 7 (01) : 79 - 83
  • [7] A RAMSEY-TYPE THEOREM FOR MULTIPLE DISJOINT COPIES OF INDUCED SUBGRAPHS
    Nakamigawa, Tomoki
    [J]. DISCUSSIONES MATHEMATICAE GRAPH THEORY, 2014, 34 (02) : 249 - 261
  • [8] A Ramsey-type theorem for the matching number regarding connected graphs
    Choi, Ilkyoo
    Furuya, Michitaka
    Kim, Ringi
    Park, Boram
    [J]. DISCRETE MATHEMATICS, 2020, 343 (02)
  • [9] RAMSEY-TYPE THEOREMS
    ERDOS, P
    HAJNAL, A
    [J]. DISCRETE APPLIED MATHEMATICS, 1989, 25 (1-2) : 37 - 52
  • [10] On metric Ramsey-type phenomena
    Bartal, Y
    Linial, N
    Mendel, M
    Naor, A
    [J]. ANNALS OF MATHEMATICS, 2005, 162 (02) : 643 - 709
12345