Reflection Principles in Fragments of Peano Arithmetic

This publication has 11 references indexed in Scilit:

• Provably recursive functions in fragments of Peano arithmetic
  Journal of the Mathematical Society of Japan, 1986
• Paris-Harrington principles, reflection principles and transfinite induction up to ϵ0
  Annals of Pure and Applied Logic, 1986
• Fragments of arithmetic
  Annals of Pure and Applied Logic, 1985
• The optimality of induction as an axiomatization of arithmetic
  The Journal of Symbolic Logic, 1983
• Rapidly Growing Ramsey Functions
  Annals of Mathematics, 1981
• Proof theoretic equivalences between classical and constructive theories for analysis
  Published by Springer Nature ,1981
• ∑n-Collection Schemas in Arithmetic
  Published by Elsevier ,1978
• A relation between transfinite induction and mathematical induction in elementary number theory
  Tsukuba Journal of Mathematics, 1977
• The Incompleteness Theorems
  Published by Elsevier ,1977
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
  Mathematische Annalen, 1943