Finite injury and Σ1-induction

Journal of Symbolic Logic 54 (1):38 - 49 (1989)
  Copy   BIBTEX

Abstract

Working in the language of first-order arithmetic we consider models of the base theory P - . Suppose M is a model of P - and let M satisfy induction for σ 1 -formulas. First it is shown that the Friedberg-Muchnik finite injury argument can be performed inside M, and then, using a blocking method for the requirements, we prove that the Sacks splitting construction can be done in M. So, the "amount" of induction needed to perform the known finite injury priority arguments is Σ 1 -induction

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

The rationality of induction.David Charles Stove - 1986 - Oxford, UK: Oxford University Press.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
The Backward Induction Argument.John W. Carroll - 2000 - Theory and Decision 48 (1):61-84.
Backward Induction without Common Knowledge.Cristina Bicchieri - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:329 - 343.
An α-finite injury method of the unbounded type.C. T. Chong - 1976 - Journal of Symbolic Logic 41 (1):1-17.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.

Analytics

Added to PP
2009-01-28

Downloads
36 (#385,000)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
The alpha-finite injury method.G. E. Sacks - 1972 - Annals of Mathematical Logic 4 (4):343.

Add more references