Provable Fixed Points

DOI10.1002/MALQ.19880340307MaRDI QIDQ3809768zbMATH OpenOpenAlexFDO

Authors Franco Montagna, Dick H. J. de Jongh

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

Guaspari-Solovay modal logic of provabilityParikh's theoremproofprovable fixed points

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 168067
• scientific article; zbMATH DE number 3967439
• scientific article; zbMATH DE number 3927741
• scientific article; zbMATH DE number 3919342
• scientific article; zbMATH DE number 4013521
• scientific article; zbMATH DE number 36522
• A fixed point theorem
• scientific article; zbMATH DE number 79043
• scientific article; zbMATH DE number 96490

Cited in

(10)

• Rosser orderings and free variables
• Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)
• Bounded arithmetic, proof complexity and two papers of Parikh
• Obituary: Franco Montagna (1948--2015)
• A note on some extension results
• Effectively constructible fixed points in Sacchetti's modal logics of provability
• A shorter proof of a recent result by R. Di Paola
• Much shorter proofs: A bimodal investigation
• Polynomially and superexponentially shorter proofs in fragments of arithmetic
• Notes on my scientific life

This page was built for publication: Provable Fixed Points

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