VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY

DOI10.1017/bsl.2021.68OpenAlexW4200475768WikidataQ113858366 ScholiaQ113858366MaRDI QIDQ5037515

Reinhard Kahle, Paulo Guilherme Santos

Publication date: 1 March 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.68

zbMATH Keywords

formal arithmeticprovability predicateKreisel's conjecture

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• An enumeration of the primitive recursive functions without repetition
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
• On the length of proofs in formal systems
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Arithmetization of metamathematics in a general setting
• Theories very close to PA where Kreisel's Conjecture is false
• One hundred and two problems in mathematical logic
• Interlude: About the First Theorem
• Some Results on the Length of Proofs
• A NOTE ON DERIVABILITY CONDITIONS