The formalization of interpretability

DOI10.1007/BF00370389zbMath0744.03023MaRDI QIDQ1176098

Albert Visser

Publication date: 25 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicconservationfragments 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)

Related Items

On bimodal logics of provability, Iterated local reflection versus iterated consistency, CONSISTENCY AND THE THEORY OF TRUTH, An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP, Theory and application of labelling techniques for interpretability logics, TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES, More on Systems of Truth and Predicative Comprehension, Rules and arithmetics, The principles of interpretability, Faith \& falsity, The predicative Frege hierarchy, The Interpretation Existence Lemma, The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\), The arithmetics of a theory, EQUIVALENCES FOR TRUTH PREDICATES, A note on typed truth and consistency assertions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On certain lattices of degrees of interpretability
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• On the scheme of induction for bounded arithmetic formulas
• Bounded arithmetic and truth definition
• Partially Conservative Extensions of Arithmetic
• Arithmetization of metamathematics in a general setting
• A note on the undefinability of cuts
• Modal analysis of generalized rosser sentences
• Cuts, consistency statements and interpretations
• On Partially Conservative Sentences and Interpretability
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• Some Prime Elements in the Lattice of Interpretability Types
• The interpretability logic of Peano arithmetic
• Existence and feasibility in arithmetic
• Relative Interpretations