Arithmetical reflection and the provability of soundness

DOI10.1093/PHILMAT/NKU026MaRDI QIDQ2965618zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

• A note on the unprovability of consistency in formal theories of truth
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• Another look at reflection
• Is the HYPE about strength warranted?
• A theory of implicit commitment
• 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)