[go: up one dir, main page]

September 2009 Kreisel's Conjecture with minimality principle
Pavel Hrubeš
J. Symbolic Logic 74(3): 976-988 (September 2009). DOI: 10.2178/jsl/1245158094

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.

Citation Download Citation

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

Published: September 2009
First available in Project Euclid: 16 June 2009

zbMATH: 1180.03054
MathSciNet: MR2548471
Digital Object Identifier: 10.2178/jsl/1245158094

Rights: Copyright © 2009 Association for Symbolic Logic

JOURNAL ARTICLE
13 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.74 • No. 3 • September 2009
Back to Top