Reflection Principles in Fragments of Peano Arithmetic

DOI10.1002/MALQ.19870330407zbMATH Open0607.03017OpenAlexW2064363956MaRDI QIDQ3745836FDOQ3745836

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

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

zbMATH Keywords

proof theoryreduction methodfragments of Peano arithmetictransfinite inductionSkolemizationproof-theoretic study of reflection principles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (20)

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

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)