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

DOI10.1017/BSL.2021.68MaRDI QIDQ5037515zbMATH OpenOpenAlexWikidataFDO

Authors Reinhard Kahle, P. G. Santos

Publication date 1 March 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

formal arithmeticprovability predicateKreisel's conjecture

Mathematics Subject Classification ID

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

Recommendations

• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
• Theories very close to PA where Kreisel's Conjecture is false
• scientific article; zbMATH DE number 4033741
• Publication:3481697
• Kreisel's Conjecture with minimality principle

Cites work

• scientific article; zbMATH DE number 424614 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• A note on derivability conditions
• An enumeration of the primitive recursive functions without repetition
• An introduction to Gödel's theorems
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Arithmetization of metamathematics in a general setting
• On the length of proofs in formal systems
• One hundred and two problems in mathematical logic
• Some Results on the Length of Proofs
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
• Theories very close to PA where Kreisel's Conjecture is false

Cited in

(1)

• Proof-theoretic investigations on Kruskal's theorem

This page was built for publication: VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037515)