Kreisel's Conjecture with minimality principle

DOI10.2178/jsl/1245158094zbMath1180.03054OpenAlexW2079990130WikidataQ122977880 ScholiaQ122977880MaRDI QIDQ3399187

Pavel Hrubeš

Publication date: 29 September 2009

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

Full work available at URL: https://doi.org/10.2178/jsl/1245158094

zbMATH Keywords

minimality principlePeano arithmeticKreisel's conjecture

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)

Cites Work

• The number of proof lines and the size of proofs in first order logic
• Some results on speed-up
• Theories very close to PA where Kreisel's Conjecture is false

This page was built for publication: Kreisel's Conjecture with minimality principle