Abstract
We prove that Kreisel's Conjecture is true, if Peano arithmetic is axiomatised using minimality principle and axioms of identity (theory PAM). The result is independent on the choice of language of PAM. We also show that if infinitely many instances of A(x) are provable in a bounded number of steps in PAM then there exists k∈ω s.t. PAM⊢ ∀ x > \overline{k} A(x). The results imply that PAM does not prove scheme of induction or identity schemes in a bounded number of steps.
Pavel Hrubeš. "Kreisel's Conjecture with minimality principle." J. Symbolic Logic 74 (3) 976 - 988, September 2009. https://doi.org/10.2178/jsl/1245158094
Information