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

DOI10.1017/BSL.2021.68OpenAlexW4200475768WikidataQ113858366 ScholiaQ113858366MaRDI QIDQ5037515FDOQ5037515

Authors: Reinhard Kahle, P. G. 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

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

Cites Work

• Arithmetization of metamathematics in a general setting
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• An introduction to Gödel's theorems
• An enumeration of the primitive recursive functions without repetition
• On the length of proofs in formal systems
• Theories very close to PA where Kreisel's Conjecture is false
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• A note on derivability conditions

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)