Much Shorter Proofs

DOI10.1002/MALQ.19890350308MaRDI QIDQ4206724zbMATH OpenOpenAlexFDO

Authors Franco Montagna, Dick H. J. de Jongh

Publication date 1989

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350308

zbMATH Keywords

length of proofsprovability logicstrong witness comparison

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• A remark on equivalent Rosser sentences
• A simplification of the completeness proofs for Guaspari and Solovay's R
• Much shorter proofs: A bimodal investigation
• scientific article; zbMATH DE number 1303440
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics

Cited in

(3)

• Obituary: Franco Montagna (1948--2015)
• Polynomially and superexponentially shorter proofs in fragments of arithmetic
• Notes on my scientific life

This page was built for publication: Much Shorter Proofs

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