Concepedia

On parameter free induction schemas

Richard Kaye, J. B. Paris, C. Dimitracopoulos

Journal of Symbolic Logic · 1988 · 41 citations · 3 references

DOI

Concepts

Abstract

Abstract We present a comprehensive study of the axiom schemas (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.

References

3

On the scheme of induction for bounded arithmetic formulas

A. J. Wilkie, J. B. Paris · Annals of Pure and Applied Logic · 1987 · 206 citations

, , +10

Rapidly Growing Ramsey Functions

Jussi Ketonen, Robert M Solovay · Annals of Mathematics · 1981 · 163 citations

, , +5

Bounded existential induction

George Wilmers · Journal of Symbolic Logic · 1985 · 45 citations

, , +10