Interpretability of various extensions of arithmetic

DOI10.1007/BF01159698MaRDI QIDQ1095138zbMATH OpenFDO

Authors S. V. Goryachev

Publication date 1986

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

modal logicprovabilityinterpretability of extensions of arithmeticlocal reflection principle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) Relative consistency and interpretations (03F25)

Recommendations

• scientific article; zbMATH DE number 3972855
• scientific article; zbMATH DE number 3957096
• scientific article; zbMATH DE number 440479
• On interpretations of arithmetic and set theory
• Interpretability suprema in Peano arithmetic

Cites work

• scientific article; zbMATH DE number 3786776 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• One hundred and two problems in mathematical logic
• Provability interpretations of modal logic

Cited in

(16)

• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• The unprovability of small inconsistency. A study of local and global interpretability
• On interpretations of arithmetic and set theory
• On certain lattices of degrees of interpretability
• Interpretations between \(\omega\)-logic and second-order arithmetic
• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• Proof theoretic analysis by iterated reflection
• scientific article; zbMATH DE number 3972855 (Why is no real title available?)
• Interpretability of the Cantor varieties
• scientific article; zbMATH DE number 3957097 (Why is no real title available?)
• Variations on a Visserian theme
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Arithmetic Interpretability Types of Varieties and Some Additive Problems with Primes
• Characterizations of interpretability in bounded arithmetic
• Interpretations of Presburger arithmetic in itself
• scientific article; zbMATH DE number 3957096 (Why is no real title available?)

This page was built for publication: Interpretability of various extensions of arithmetic

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