![John Carlos Baez on Twitter: "@_julesh_ However, the Paris-Harrington theorem is unprovable in PA but provable in PA + [induction up to epsilon_0]. The ordinal epsilon_0 is isomorphic to the set of](https://pbs.twimg.com/media/Diua3cOUYAAW0q-.jpg "John Carlos Baez on Twitter: \"@_julesh_ However, the Paris-Harrington theorem is unprovable in PA but provable in PA + [induction up to epsilon_0]. The ordinal epsilon_0 is isomorphic to the set of")
John Carlos Baez on Twitter: "@_julesh_ However, the Paris-Harrington theorem is unprovable in PA but provable in PA + [induction up to epsilon_0]. The ordinal epsilon_0 is isomorphic to the set of
Relationship between Kanamori-McAloon principle and Paris-Harrington theorem
Some Bounds for the Ramsey-Paris-Harrington Numbers We first introduce some appropriate notation. Lower case variables will alwa
logic - Set-up for the Paris-Harrington Theorem - Mathematics Stack Exchange
arXiv:1806.04917v2 [math.CO] 17 Dec 2018
PDF) Paris-Harrington Tautologies
Paris–Harrington Theorem, 978-613-1-26307-1, 6131263078 ,9786131263071
Upper bounds on positional Paris-Harrington games
Paris-Harrington Theorem -- from Wolfram MathWorld
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem | SpringerLink
Some Bounds for the Ramsey-Paris-Harrington Numbers We first introduce some appropriate notation. Lower case variables will alwa
The obvious analogue of the Large Ramsey theorem does not translate to Van der Waerden
Arithmetical transfinite induction and hierarchies of functions
Some Bounds for the Ramsey-Paris-Harrington Numbers We first introduce some appropriate notation. Lower case variables will alwa
PDF) The Paris-Harrington Theorem in an NF context | Thomas Forster - Academia.edu
