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 (PAPÀ).

Statement Given a set {displaystyle ssubseteq mathbb {N} } of non-negative integers, permettere {displaystyle min(S)} denote the minimum element of {stile di visualizzazione s} . Permettere {stile di visualizzazione [X]^{n}} denote the set of all n-element subsets of {stile di visualizzazione X} .

A function {stile di visualizzazione f:[X]^{n}rightarrow mathbb {N} } dove {displaystyle Xsubseteq mathbb {N} } is said to be regressive if {stile di visualizzazione f(S)

Se vuoi conoscere altri articoli simili a Kanamori–McAloon theorem puoi visitare la categoria Independence results.