VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
From MaRDI portal
Publication:5037515
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
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)
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)