scientific article; zbMATH DE number 1303441

MaRDI QIDQ4250050zbMATH OpenFDO

Authors Albert Visser

Publication date 29 March 2000

zbMATH Keywords

Heyting arithmeticinterpretation of a theory in a constructive arithmetical theoryprovability logicRobinson's arithmetic

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Metamathematics of constructive systems (03F50)

Recommendations

• The interpretability logic of Peano arithmetic
• Cuts, consistency statements and interpretations
• Unary interpretability logic
• Notion of Interpretation and Nonelementary Languages
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory
• Interpreting classical theories in constructive ones
• Characterizations of interpretability in bounded arithmetic
• scientific article; zbMATH DE number 1289488
• The interpretation existence lemma
• scientific article; zbMATH DE number 1215477

Cited in

(6)

• A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic
• Interpretations of Presburger arithmetic in itself
• Constructive Ackermann's interpretation
• scientific article; zbMATH DE number 4172966 (Why is no real title available?)
• Intermediate logics and the de Jongh property
• On logical and scientific strength

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 Q4250050)