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

DOI10.1007/s00153-020-00752-5OpenAlexW3113236626WikidataQ114852532 ScholiaQ114852532MaRDI QIDQ2663342

Albert Visser

Publication date: 16 April 2021

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

Full work available at URL: https://arxiv.org/abs/1804.07465

zbMATH Keywords

provabilityincompletenessarithmetization

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The second incompleteness theorem and bounded interpretations
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Transductions in arithmetic
• On the scheme of induction for bounded arithmetic formulas
• 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
• Solovay's completeness without fixed points
• Provability logic and the completeness principle
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Slow consistency
• Short proofs for slow consistency
• Interpretability suprema in Peano arithmetic
• Slow reflection
• Partially Conservative Extensions of Arithmetic
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Theory of Formal Systems. (AM-47)
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• SELF-REFERENCE IN ARITHMETIC I
• The Second Incompleteness Theorem: Reflections and Ruminations
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• Existence and feasibility in arithmetic
• On weak completeness of intuitionistic predicate logic

This page was built for publication: The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb