Kanamori–McAloon theorem

Kanamori–McAloon theorem In mathematical logic, the Kanamori–McAloon theorem, due to Kanamori & McAloon (1987), gives an example of an incompleteness in Peano arithmetic, similar to that of the Paris–Harrington theorem. They showed that a certain finitistic theorem in Ramsey theory is not provable in Peano arithmetic (PA).

Statement Given a set {displaystyle ssubseteq mathbb {N} } of non-negative integers, deixar {displaystyle min(s)} denote the minimum element of {estilo de exibição s} . Deixar {estilo de exibição [X]^{n}} denote the set of all n-element subsets of {estilo de exibição X} .

A function {estilo de exibição f:[X]^{n}rightarrow mathbb {N} } Onde {displaystyle Xsubseteq mathbb {N} } is said to be regressive if {estilo de exibição f(s)

Se você quiser conhecer outros artigos semelhantes a Kanamori–McAloon theorem você pode visitar a categoria Independence results.