scientific article; zbMATH DE number 3957097

MaRDI QIDQ3726110zbMATH OpenFDO

Authors Per Lindström

Publication date 1985

zbMATH Keywords

partially conservative sentencesreflexive extension of arithmeticreflexive theoriessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• Interpretability of various extensions of arithmetic
• The interpretability logic of Peano arithmetic
• scientific article; zbMATH DE number 1215477
• scientific article; zbMATH DE number 4112583
• scientific article; zbMATH DE number 1215499

Cited in

(13)

• Interpretations of Presburger arithmetic in itself
• A proof theory for the logic of provability in true arithmetic
• Using theory interpretation to mechanise the reals in a theorem prover
• Challenges to predicative foundations of arithmetic
• A theorem on partial conservativity in arithmetic
• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 3900723 (Why is no real title available?)
• scientific article; zbMATH DE number 4112583 (Why is no real title available?)
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• Characterizations of interpretability in bounded arithmetic
• On the interpretability of arithmetic in temporal logic

This page was built for publication:

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