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)

zbMATH Keywords

conservationmodal logicfragments of arithmeticHenkin constructioninterpretability in weak theoriesInterpretability Logic

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• Modal analysis of generalized rosser sentences
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• On Partially Conservative Sentences and Interpretability
• On certain lattices of degrees of 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

(25)

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

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)