On Grzegorczyk induction

DOI10.1016/0168-0072(94)00029-3zbMath0826.03027OpenAlexW2052680294MaRDI QIDQ1892940

Ch. Cornaros

Publication date: 28 November 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00029-3

zbMATH Keywords

quadratic reciprocity lawBertrand's postulatefragment of Peano arithmeticGrzegorczyk hierarchy

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

TWO (OR THREE) NOTIONS OF FINITISM, Abelian groups and quadratic residues in weak arithmetic, On bounded arithmetic augmented by the ability to count certain sets of primes

Cites Work

• Unnamed Item
• Unnamed Item
• Combinatorial principles in elementary number theory
• Provability of the pigeonhole principle and the existence of infinitely many primes