Arithmetical transfinite induction and hierarchies of functions
Volume 141 / 1992
Fundamenta Mathematicae 141 (1992), 1-20
DOI: 10.4064/fm-141-1-1-20
Abstract
We generalize to the case of arithmetical transfinite induction the following three theorems for PA: the Wainer Theorem, the Paris-Harrington Theorem, and a version of the Solovay-Ketonen Theorem. We give uniform proofs using combinatorial constructions.
