Interpretability suprema in Peano arithmetic

DOI10.1007/s00153-017-0557-4zbMath1436.03310OpenAlexW2577001942WikidataQ59514801 ScholiaQ59514801MaRDI QIDQ2402961

Albert Visser, Paula Henk

Publication date: 15 September 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-017-0557-4

zbMATH Keywords

Peano arithmeticinterpretabilityprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Relative consistency and interpretations (03F25)

Related Items

The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On certain lattices of degrees of interpretability
• Arithmetic analogues of McAloon's unique Rosser sentences
• On the proof of Solovay's theorem
• Provability interpretations of modal logic
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Peano's smart children: A provability logical study of systems with built-in consistency
• A smart child of Peano's
• Undecidable theories
• Partially Conservative Extensions of Arithmetic
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Reflection Principles in Fragments of Peano Arithmetic
• Theories incomparable with respect to relative interpretability
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• The interpretability logic of Peano arithmetic
• Existence and feasibility in arithmetic
• Consistency statements in formal theories
• On interpretability in theories containing arithmetic
• Representability op recursively enumerable sets in formal theories
• Relative Interpretations