Regressive Ramsey numbers are Ackermannian (Q1284479)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Regressive Ramsey numbers are Ackermannian |
scientific article |
Statements
Regressive Ramsey numbers are Ackermannian (English)
0 references
26 April 1999
0 references
An elementary proof of the fact that regressive Ramsey numbers are Ackermannian is given. This was first proved by \textit{A. Kanamori} and \textit{K. McAloon} [Ann. Pure Appl. Logic 33, 23-41 (1987; Zbl 0627.03041)] with mathematical logic techniques.
0 references
regressive Ramsey numbers
0 references
Ackermannian
0 references
