The formalization of interpretability

DOI10.1007/BF00370389MaRDI QIDQ1176098zbMATH OpenFDO

Authors Albert Visser

Publication date 25 June 1992

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370389

zbMATH Keywords

conservationfragments of arithmeticHenkin constructioninterpretability in weak theoriesInterpretability Logicmodal logic

Mathematics Subject Classification ID

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

Review text

The author discusses interpretability in weak theories without \(\Sigma_ 1\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\(\Delta_ 0+\Omega_ 1\). The case containing the \(\Sigma_ 1\)- collection principle is also discussed in relation with cut and with the conservation problem. This paper provides an extensive introduction to the formalization of interpretability, and the comprehensive references are useful.

Recommendations

• The principles of interpretability
• The interpretability logic of Peano arithmetic
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• scientific article; zbMATH DE number 1215477
• Unary interpretability logic

Cites work

• A note on the undefinability of cuts
• Arithmetization of metamathematics in a general setting
• Bounded arithmetic and truth definition
• Cuts, consistency statements and interpretations
• Existence and feasibility in arithmetic
• scientific article; zbMATH DE number 3845576 (Why is no real title available?)
• scientific article; zbMATH DE number 3760157 (Why is no real title available?)
• scientific article; zbMATH DE number 3632437 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• Modal analysis of generalized rosser sentences
• On certain lattices of degrees of interpretability
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• On Partially Conservative Sentences and Interpretability
• On the scheme of induction for bounded arithmetic formulas
• Partially Conservative Extensions of Arithmetic
• Relative Interpretations
• Some Prime Elements in the Lattice of Interpretability Types
• The interpretability logic of Peano arithmetic
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic

Cited in

(28)

• On bimodal logics of provability
• Iterated local reflection versus iterated consistency
• The predicative Frege hierarchy
• The arithmetics of a theory
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• A note on typed truth and consistency assertions
• An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA
• Extension and interpretability
• Interpretability in Robinson's Q
• scientific article; zbMATH DE number 440488 (Why is no real title available?)
• Consistency and the theory of truth
• More on Systems of Truth and Predicative Comprehension
• scientific article; zbMATH DE number 4099293 (Why is no real title available?)
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• scientific article; zbMATH DE number 806756 (Why is no real title available?)
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• scientific article; zbMATH DE number 3892594 (Why is no real title available?)
• The interpretability logic of Peano arithmetic
• The interpretation existence lemma
• Equivalences for truth predicates
• Restrictiveness relative to notions of interpretation
• Rules and arithmetics
• The principles of interpretability
• Theory and application of labelling techniques for interpretability logics
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• A generalized notion of weak interpretability and the corresponding modal logic
• On tame semantics for interpretability logic
• Faith \& falsity

This page was built for publication: The formalization of interpretability

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