Arithmetical reflection and the provability of soundness

DOI10.1093/PHILMAT/NKU026zbMATH Open1380.03068OpenAlexW2148396006MaRDI QIDQ2965618FDOQ2965618

Authors: Walter Dean 

Publication date: 3 March 2017

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/nku026

Recommendations

• Reflection principles and provability algebras in formal arithmetic
• On reflection principles
• A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic
• Reflection Principles in Fragments of Peano Arithmetic
• scientific article; zbMATH DE number 1431685

zbMATH Keywords

Peano arithmeticreflection principlessoundness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cited In (6)

• A note on the unprovability of consistency in formal theories of truth
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• On the status of reflection and conservativity in replacement theories of truth
• The implicit commitment of arithmetical theories and its semantic core
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Reflecting and unfolding

This page was built for publication: Arithmetical reflection and the provability of soundness

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