Reflection Principles in Fragments of Peano Arithmetic

DOI10.1002/MALQ.19870330407MaRDI QIDQ3745836zbMATH OpenOpenAlexFDO

Authors Hiroakira Ono

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19870330407

zbMATH Keywords

fragments of Peano arithmeticproof theoryproof-theoretic study of reflection principlesreduction methodSkolemizationtransfinite induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A note on fragments of uniform reflection in second order arithmetic
• A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic
• Reflection principles and provability algebras in formal arithmetic
• Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)
• Slow reflection

Cited in

(21)

• Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\)
• Induction rules, reflection principles, and provably recursive functions
• Parameter free induction and provably total computable functions
• Local reflection, definable elements and 1-provability
• Uniform density in Lindenbaum algebras
• Interpretability suprema in Peano arithmetic
• Slow reflection
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Arithmetical reflection and the provability of soundness
• Reflection principles and provability algebras in formal arithmetic
• scientific article; zbMATH DE number 3948262 (Why is no real title available?)
• ON THE ITERATED ω‐RULE
• Proof theoretic analysis by iterated reflection
• scientific article; zbMATH DE number 1431685 (Why is no real title available?)
• A note on fragments of uniform reflection in second order arithmetic
• A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic
• Set-theoretic reflection is equivalent to induction over well-founded classes
• Self-reference in arithmetic. II
• scientific article; zbMATH DE number 7162237 (Why is no real title available?)
• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories

This page was built for publication: Reflection Principles in Fragments of Peano Arithmetic

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