Yoram Hirshfeld

Some minor modifications in the Paris-Harrington Theorem

Abstract:

Paris and Harrington elaborating on work by Paris and Kirby,
presented the first example of statements that is independent of Peano's
axioms and looks like an honest mathematical claim.

I will give a somewhat easier proof of a version of the theorem, freeing it
entirely from encoding the language as numbers.