Interpretability of various extensions of arithmetic

DOI10.1007/BF01159698zbMath0632.03044MaRDI QIDQ1095138

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)

Related Items

Proof Theoretic Analysis by Iterated Reflection, Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories, AXIOMATIZATION OF PROVABLE n-PROVABILITY

Cites Work

• Unnamed Item
• Unnamed Item
• Provability interpretations of modal logic
• Arithmetization of metamathematics in a general setting
• One hundred and two problems in mathematical logic