On Grzegorczyk induction

Annals of Pure and Applied Logic 74 (1):1-21 (1995)
  Copy   BIBTEX

Abstract

We investigate the “mathematical” strength of the theory I*2. In particular we prove the quadratic reciprocity law and Bertrand's postulate, using fragments of I*2 which employ some well-known number-theoretic functions

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)00029-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.Jean-Sylvestre Gakwaya - 1997 - Mathematical Logic Quarterly 43 (1):73-77.
Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
A note on Grzegorczyk's logic.Emil Jeřábek - 2004 - Mathematical Logic Quarterly 50 (3):295-296.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
A material dissolution of the problem of induction.John D. Norton - 2014 - Synthese 191 (4):1-20.
Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.
Some problems of counter‐inductive policy as opposed to inductive.Audun Öfsti - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):267-283.
No Need to Justify Induction Generally.Kazuyoshi Kamiyama - 2008 - Proceedings of the Xxii World Congress of Philosophy 53:105-111.
Induction and objectivity.F. John Clendinnen - 1966 - Philosophy of Science 33 (3):215-229.
The Pessimistic Induction: A Bad Argument Gone Too Far.Moti Mizrahi - 2013 - Synthese 190 (15):3209-3226.
O indukcji niezupełnej w matematyce.Lech Gruszecki - 2005 - Roczniki Filozoficzne 53 (2):47-72.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
The logical problem of induction.G. H. von Wright - 1957 - Westport, Conn.: Greenwood Press.
The old problem of induction and the new reflective equilibrium.Jared Bates - 2005 - Dialectica 59 (3):347–356.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,198,690)

6 months
3 (#984,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Two (or three) notions of finitism.Mihai Ganea - 2010 - Review of Symbolic Logic 3 (1):119-144.
Abelian groups and quadratic residues in weak arithmetic.Emil Jeřábek - 2010 - Mathematical Logic Quarterly 56 (3):262-278.
Czego informatycy nauczyli się od Andrzeja Grzegorczyka?Andrzej Salwicki - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).

Add more citations

References found in this work

Add more references